aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.extr
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.extr')
-rw-r--r--Makefile.extr3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr
index 75eb6dca..fbb595d0 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -43,8 +43,7 @@ cparser/pre_parser_messages.ml:
DIRS=extraction \
lib common $(ARCH) scheduling backend cfrontend cparser driver \
- exportclight debug kvx/unittest lib/Impure/ocaml \
- kvx/lib
+ exportclight debug kvx/unittest lib/Impure/ocaml
INCLUDES=$(patsubst %,-I %, $(DIRS))