summaryrefslogtreecommitdiffstats
path: root/Grammar
diff options
context:
space:
mode:
Diffstat (limited to 'Grammar')
-rw-r--r--Grammar/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Grammar/Makefile b/Grammar/Makefile
index fe9eaa8..a490284 100644
--- a/Grammar/Makefile
+++ b/Grammar/Makefile
@@ -6,6 +6,9 @@ DESTC= $(TOP)/Python/graminit.c
all: install
+# This target is used by the master Makefile to add the objects to the library
+add2lib:
+
install: $(DESTH) $(DESTC)
depend: