diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2017-01-24 10:38:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-24 10:38:50 -0800 |
commit | 73a48a46f83402669e654e8c0d0c297e2c5390a0 (patch) | |
tree | 09e1f9d42c000d54c31653dc9d8b9e570c41a597 /travis.sh | |
parent | 72ae34c28fb93ca1e45920d9e8714c74c7292dee (diff) | |
parent | 3b7dc27fb5497903145a52413116fad25fbaf138 (diff) |
Merge pull request #78 from haberman/axerefcount
Fixed amalgamated build and added test.
Diffstat (limited to 'travis.sh')
-rwxr-xr-x | travis.sh | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -107,6 +107,17 @@ ndebug_script() { make test } +# Tests the amalgamated build (this ensures that the different .c files +# don't have symbols or macros that conflict with each other. +amalgamated_install() { + : +} +amalgamated_script() { + # Override of USER_CPPFLAGS removes -UNDEBUG. + export USER_CPPFLAGS="-UNDEBUG" + make amalgamated +} + # A run that executes with coverage support and uploads to coveralls.io coverage_install() { sudo apt-get update -qq @@ -145,6 +156,7 @@ if [ "$1" == "local" ]; then run_config "lua" run_config "ndebug" run_config "genfiles" + run_config "amalgamated" exit fi |