summaryrefslogtreecommitdiff
path: root/travis.sh
diff options
context:
space:
mode:
authorJosh Haberman <jhaberman@gmail.com>2017-01-24 10:00:28 -0800
committerJosh Haberman <jhaberman@gmail.com>2017-01-24 10:08:06 -0800
commit3b7dc27fb5497903145a52413116fad25fbaf138 (patch)
tree09e1f9d42c000d54c31653dc9d8b9e570c41a597 /travis.sh
parent5aa01b46e41dcdbbd2dad6d1b7ecce9a60b8ce7a (diff)
Fixed amalgamated build and added test.
Diffstat (limited to 'travis.sh')
-rwxr-xr-xtravis.sh12
1 files changed, 12 insertions, 0 deletions
diff --git a/travis.sh b/travis.sh
index 5c099a2..413015a 100755
--- a/travis.sh
+++ b/travis.sh
@@ -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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback