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