diff options
Diffstat (limited to 'otherlibs/labltk/Makefile')
| -rw-r--r-- | otherlibs/labltk/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/otherlibs/labltk/Makefile b/otherlibs/labltk/Makefile index 9e89adc03..4e4fbd159 100644 --- a/otherlibs/labltk/Makefile +++ b/otherlibs/labltk/Makefile @@ -1,7 +1,9 @@ # Top Makefile for mlTk SUBDIRS=compiler support lib jpf frx tkanim examples_labltk \ - camltk labltk examples_camltk browser + examples_camltk browser +SUBDIRS_GENERATED=camltk labltk + all: cd support; $(MAKE) @@ -71,5 +73,8 @@ partialclean clean: for d in $(SUBDIRS); do \ cd $$d; $(MAKE) -f Makefile clean; cd ..; \ done + for d in $(SUBDIRS_GENERATED); do \ + cd $$d; $(MAKE) -f Makefile.gen clean; cd ..; \ + done depend: |