aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index a140ccd..f45d824 100644
--- a/Makefile
+++ b/Makefile
@@ -58,8 +58,11 @@ test: all
cd $(BUILD_DIR)/test; ctest --verbose
pre-push: realclean
- make test
- make test BUILD_TYPE=rel
+ make test CC=gcc
+ make test CC=gcc BUILD_TYPE=rel
+ make realclean
+ make test CC=clang
+ make test CC=clang BUILD_TYPE=rel
realclean:
rm -rf $(BUILD_DIR_BASE)