diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/tools/Burg/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/support/tools/Burg/Makefile b/support/tools/Burg/Makefile index c8586aa..bbf5baa 100644 --- a/support/tools/Burg/Makefile +++ b/support/tools/Burg/Makefile @@ -6,9 +6,7 @@ EXTRASOURCES = gram.tab.c include $(LEVEL)/Makefile.common gram.tab.c gram.tab.h: gram.yc - $(VERB) $(BISON) -d $< - $(VERB) mv -f gram.tab.cc gram.tab.c - $(VERB) mv -f gram.tab.hc gram.tab.h + $(VERB) $(BISON) -o gram.tab.c -d $< clean:: rm -ff gram.tab.h gram.tab.c core* *.aux *.log *.dvi sample sample.c tmp |