| commit | 0931bd3a74ccf2e57274f719b670b4383f304bff | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Mon Apr 02 09:53:42 2018 |
| committer | Mate Soos <soos.mate@gmail.com> | Mon Apr 02 09:53:42 2018 |
| tree | b9c842aa7a728811515450cca4eb7c401c81a6a7 | |
| parent | 1b4090794f8becb4fa4e034aa2e965af4b950b63 [diff] |
Fixing coverity scan
diff --git a/.travis.yml b/.travis.yml index 6c973d3..0dd461b 100644 --- a/.travis.yml +++ b/.travis.yml
@@ -53,7 +53,7 @@ name: "stp/stp" description: "Simple Theorem Prover" notification_email: soos.mate@gmail.com - build_command_prepend: "cmake .." + build_command_prepend: "cmake ." build_command: "make" branch_pattern: coverity_scan