diff --git a/tools/ci/travis-script.sh b/tools/ci/travis-script.sh index ae9b6caecb..c791167e99 100755 --- a/tools/ci/travis-script.sh +++ b/tools/ci/travis-script.sh @@ -1,13 +1,15 @@ #!/bin/bash set -ex -# Compile argument list +# Argument List args=" " +# Check for MPI if [[ $MPI == 'y' ]]; then args="${args} --mpi " fi +# Check for event-based if [[ $EVENT == 'y' ]]; then args="${args} --event " fi