diff options
Diffstat (limited to 'hello_via_task/Makefile')
| -rw-r--r-- | hello_via_task/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hello_via_task/Makefile b/hello_via_task/Makefile index 8602dcb..2fbd56c 100644 --- a/hello_via_task/Makefile +++ b/hello_via_task/Makefile @@ -3,6 +3,8 @@ # # See README.Makefiles in the main ada-examples directory. # +# $Id$ +# PROGRAM=hello |