aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 480bd53285..0aaab2515a 100644
--- a/Makefile
+++ b/Makefile
@@ -1860,7 +1860,7 @@ depend: $(BEFOREDEPEND) dependp4 $(ML4FILESML)
echo `$(CAMLP4DEPS) $$f` >> .depend; \
done
# 5. We express dependencies of .o files
- $(CC) -MM kernel/byterun/*.c >> .depend
+ $(CC) -I $(CAMLHLIB) -MM kernel/byterun/*.c >> .depend
# 6. Finally, we erase the generated .ml files
rm -f $(ML4FILESML)
# 7. Since .depend contains correct dependencies .depend.devel can be deleted