diff options
| -rw-r--r-- | support/tools/Burg/Makefile | 3 | ||||
| -rw-r--r-- | utils/Burg/Makefile | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/support/tools/Burg/Makefile b/support/tools/Burg/Makefile index 34fb346486..f3e78db69f 100644 --- a/support/tools/Burg/Makefile +++ b/support/tools/Burg/Makefile @@ -1,7 +1,6 @@ -# $Id$ LEVEL = ../.. TOOLNAME = burg -EXTRASOURCES = gram.tab.c +ExtraSource = gram.tab.c include $(LEVEL)/Makefile.common diff --git a/utils/Burg/Makefile b/utils/Burg/Makefile index 34fb346486..f3e78db69f 100644 --- a/utils/Burg/Makefile +++ b/utils/Burg/Makefile @@ -1,7 +1,6 @@ -# $Id$ LEVEL = ../.. TOOLNAME = burg -EXTRASOURCES = gram.tab.c +ExtraSource = gram.tab.c include $(LEVEL)/Makefile.common |