diff options
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index a30932b899..ce3e4cd308 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -8,6 +8,6 @@ ##===----------------------------------------------------------------------===## LEVEL := ../../.. -DIRS := driver index-test CIndex c-index-test +DIRS := driver CIndex c-index-test include $(LEVEL)/Makefile.common |