public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eef81c0)
remove dummy when cleaning
authorceriel <none@none>
Fri, 6 Mar 1987 16:40:56 +0000 (16:40 +0000)
committerceriel <none@none>
Fri, 6 Mar 1987 16:40:56 +0000 (16:40 +0000)
lang/occam/comp/Makefile patch | blob | history

diff --git a/lang/occam/comp/Makefile b/lang/occam/comp/Makefile
index 033e954..64fbe29 100644 (file)
--- a/lang/occam/comp/Makefile
+++ b/lang/occam/comp/Makefile
@@ -40,7 +40,7 @@ opr:
                make pr | opr
 
 clean:
-               rm -f lex.yy.c occam.c *.o oc
+               rm -f lex.yy.c occam.c *.o oc dummy
 
 $(PRIMARY):                    Lpars.h
 occam.o keytab.o:              token.h
Unnamed repository; edit this file 'description' to name the repository.