codebuild: enable the tests

smowton · Mar 4, 2018 · b19b4a2 · b19b4a2
1 parent 44aa443
commit b19b4a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/buildspec.yml b/buildspec.yml
@@ -16,6 +16,7 @@ phases:
       - echo Build started on `date`
       - (cd src ; make minisat2-download)
       - (cd src ; make CXX="ccache g++" -j2)
+      - (cd regression ; make test)
   post_build:
     commands:
       - echo Build completed on `date`