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