diff options
Diffstat (limited to 'lib/Makefile')
| -rw-r--r-- | lib/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Makefile b/lib/Makefile index fa5ab9d4..ec0d1634 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -9,7 +9,6 @@ LEVEL=.. -PARALLEL_DIRS=Basic Support SMT Expr Solver Module Core +PARALLEL_DIRS=Basic Support Expr Solver Module Core include $(LEVEL)/Makefile.common - |