diff options
Diffstat (limited to 'debugger/Makefile.shared')
-rw-r--r-- | debugger/Makefile.shared | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debugger/Makefile.shared b/debugger/Makefile.shared index edfdc130c9..1e16f32ef8 100644 --- a/debugger/Makefile.shared +++ b/debugger/Makefile.shared @@ -99,7 +99,8 @@ clean:: $(CAMLC) -c $(COMPFLAGS) $< depend: beforedepend - $(CAMLDEP) $(DEPFLAGS) *.mli *.ml > .depend + $(CAMLDEP) $(DEPFLAGS) *.mli *.ml \ + | sed -e 's,$(UNIXDIR)/,$$(UNIXDIR)/,' > .depend lexer.ml: lexer.mll $(CAMLLEX) lexer.mll |