diff options
author | Stephane Glondu <steph@glondu.net> | 2011-09-11 17:08:18 +0200 |
---|---|---|
committer | Olivier Andrieu <oandrieu@gmail.com> | 2011-09-11 17:08:18 +0200 |
commit | 79553c9f1be47d4e3fbe2d3556bc8bab97663ef6 (patch) | |
tree | 1326fc869829e340cc46f92552fc1fe5bd7ea8ee | |
parent | 4464650608969194b14d9a16185231bd8e91b4c0 (diff) |
Fix Makefile to avoid recompiling files in /usr
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 46a62f6..c9c64b7 100644 --- a/src/Makefile +++ b/src/Makefile @@ -117,7 +117,7 @@ clean : .depend : $(wildcard *.ml *.mli) @echo "making deps" - @$(OCAMLDEP) $(if $(LABLGTKDIR),-I $(LABLGTKDIR)) $^ > $@ + @$(OCAMLDEP) $^ > $@ -include .depend -include .depend_c |