diff options
| -rw-r--r-- | Makefile.nt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.nt b/Makefile.nt index ea99dcbbb..e6af1e4ce 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -595,10 +595,10 @@ partialclean:: rm -f tools/*.cm* tools/*.$(O) tools/*.$(S) depend: beforedepend - echo > .depend - for %d in (utils parsing typing bytecomp asmcomp driver toplevel) do $(CAMLDEP) $(DEPFLAGS) %d/*.mli %d/*.ml >> .depend + (for d in utils parsing typing bytecomp asmcomp driver toplevel; \ + do $(CAMLDEP) $(DEPFLAGS) $$d/*.mli $$d/*.ml; \ + done) > .depend alldepend:: depend include .depend - |