diff options
Diffstat (limited to 'scripts/travis.sh')
| -rwxr-xr-x | scripts/travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 0a502ca..3244b82 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -11,5 +11,5 @@ if [ "$USE_STD_SHARED_PTR" = "1" ]; then fi cmake ${CMAKE_ARGS} -make +make VERBOSE=1 make test |