diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/travis-build.sh | 5 | ||||
| -rwxr-xr-x | scripts/travis-test.sh | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/scripts/travis-build.sh b/scripts/travis-build.sh index 30f9da5b..eb6ee9c7 100755 --- a/scripts/travis-build.sh +++ b/scripts/travis-build.sh @@ -21,6 +21,11 @@ set -o errexit SCRIPT_DIR="$(dirname "$(readlink -f "$0")")" source ${SCRIPT_DIR}/travis-common.sh +# Build without flex/bison to test prebuilt C sources +if [ ${CC} = "gcc" ]; then + make gcc-debug-no-flex-bison-sexpr-wasm +fi + for COMPILER in ${COMPILERS}; do for BUILD_TYPE in ${BUILD_TYPES}; do make ${COMPILER}-${BUILD_TYPE}-sexpr-wasm diff --git a/scripts/travis-test.sh b/scripts/travis-test.sh index 4dc3279b..b684333f 100755 --- a/scripts/travis-test.sh +++ b/scripts/travis-test.sh @@ -34,6 +34,10 @@ run_tests() { (cd ${ROOT_DIR} && log_and_run test/run-tests.py -e ${EXE} ${ARG_FLAG-} --timeout=10) } +if [ ${CC} = "gcc" ]; then + run_tests out/gcc/Debug-no-flex-bison/sexpr-wasm +fi + for COMPILER in ${COMPILERS}; do for BUILD_TYPE in ${BUILD_TYPES_UPPER}; do EXE=out/${COMPILER}/${BUILD_TYPE}/sexpr-wasm |