diff options
| author | Alec Thomas <alec@swapoff.org> | 2013-08-16 23:53:44 -0400 |
|---|---|---|
| committer | Alec Thomas <alec@swapoff.org> | 2013-08-16 23:53:44 -0400 |
| commit | 451b2f0e1ebeea6e4ffb7b24e208d2b56b6a1e9b (patch) | |
| tree | e81afff8067e1ab1a2a9466965e1bda374bc08d3 /scripts/travis.sh | |
| parent | 70d2aef8ea1edd50df3050d503eda029fbc4d706 (diff) | |
Add Python based scripting system (still experimental).
The build system has also been revamped considerably, with the ability
to select between std::shared_ptr and boost::shared_ptr, as well as
other improvements.
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 |