raise warning level

WinterWind33 · Aug 2, 2021 · f88c008 · f88c008
1 parent fa36f80
commit f88c008
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -130,4 +130,4 @@ before_install:
 script:
   - mkdir build
   - cd build
-  - cmake .. && make && ./example/popl_example && cd test && ./popl_test
+  - cmake -DCMAKE_CXX_FLAGS="$CXXFLAGS -Werror -Wall -Wextra -pedantic -Wno-unused-function -O2" .. && make && ./example/popl_example && cd test && ./popl_test