diff options
Diffstat (limited to 'Grammar/Makefile')
| -rw-r--r-- | Grammar/Makefile | 3 |
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: |