diff options
Diffstat (limited to 'tools/ci/jobs/deheader2.sh')
| -rwxr-xr-x | tools/ci/jobs/deheader2.sh | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/tools/ci/jobs/deheader2.sh b/tools/ci/jobs/deheader2.sh index 5862e555e..521f9266f 100755 --- a/tools/ci/jobs/deheader2.sh +++ b/tools/ci/jobs/deheader2.sh @@ -2,14 +2,12 @@ export LOGFILE2=logs/deheader2.log -export DATA=$(cat ${LOGFILE}) -if [[ -z "${DATA}" ]]; then +if [[ ! -s "$LOGFILE" ]]; then echo "Empty output. Probably wrong search flags." exit 1 fi -export DATA=$(grep "error:" ${LOGFILE}) -if [[ -n "${DATA}" ]]; then +if grep "error:" "$LOGFILE"; then echo "Compilation error found" exit 1 fi @@ -31,9 +29,9 @@ grep "deheader:" "${LOGFILE}" \ -e "deheader: remove <climits> from ./src/units.cpp" \ > "${LOGFILE2}" -export DATA=$(cat ${LOGFILE2}) -if [[ -n "${DATA}" ]]; then - echo "Wrong include files found" - echo ${DATA} + +if [[ -s "$LOGFILE2" ]]; then + echo "Wrong include files found:" + cat "$LOGFILE2" exit 1 fi |