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