Merge branch 'release/1.3'

[reservoir_sample] / Makefile

diff --git a/Makefile b/Makefile
index 405e0337e375fe2003d988e481109329f0286384..e1b5ff8dd0b14a3eb5ebaec2ec83c70614aae599 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
 #!make
 
-ifeq "$(origin CC)" "default"
-CC = clang
-endif
+#ifeq "$(origin CC)" "default"
+#CC = clang
+#endif
 
 CFLAGS += -g -Wall -Wextra
 CFLAGS += -O3
@@ -39,6 +39,7 @@ check:        test
                echo Checking $${t};\
                ./$${t} > /dev/null || echo -- $${t} FAILED --;\
        done
+       $(TEST_DIR)/validate-statistics.sh
 
 $(TEST_DIR)/%_test.o:  %.c
        $(CC) $(CFLAGS) $(CPPFLAGS) -DTEST -c -o $@ $<