diff options
Diffstat (limited to 'demos/state_machine')
-rw-r--r-- | demos/state_machine/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demos/state_machine/Makefile.in b/demos/state_machine/Makefile.in index c7a114540d..fde4474888 100644 --- a/demos/state_machine/Makefile.in +++ b/demos/state_machine/Makefile.in @@ -7,3 +7,4 @@ state_machine: state_machine.o test: state_machine ./state_machine 10000 ../../apps/server.pem ../../apps/server.pem +# DO NOT DELETE THIS LINE -- make depend depends on it. |