mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

[TravisCI] Try to fix case in run_quiet where the script would fail

Browse source 
with.

```
-ne: unary operator expected
```
This commit is contained in:
Dan Liew 2017-10-15 17:25:12 +01:00
parent ad2a0a0085
commit ecadef6e48
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
contrib/ci/scripts/run_quiet.sh
View file

@ -34,8 +34,8 @@ function run_quiet() {
fi fi
# Clean up # Clean up
rm "${STDOUT}" "${STDERR}" rm "${STDOUT}" "${STDERR}"
[ $( echo "${OLD_SETTINGS}" | grep -c 'e') -ne 0 ] && set -e [ "$( echo "${OLD_SETTINGS}" | grep -c 'e')" != "0" ] && set -e
[ $( echo "${OLD_SETTINGS}" | grep -c 'x') -ne 0 ] && set -x [ "$( echo "${OLD_SETTINGS}" | grep -c 'x')" != "0" ] && set -x
return ${EXIT_STATUS} return ${EXIT_STATUS}
fi fi
} }