diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ CLM=clm -CLMFLAGS=-b -nt +CLMFLAGS=-nt TEST=test -DEPS=While.dcl While.icl +DEPS=While.dcl While.icl WhileVars.dcl WhileVars.icl all: $(TEST) |