diff --git a/t/php-lint/tests.sh b/t/php-lint/tests.sh index d3cb8bee149f3421919e51cb140bec362c5030d2..a2df4e0bf7d53d62b13b3e3322b71af3753c2d73 100755 --- a/t/php-lint/tests.sh +++ b/t/php-lint/tests.sh @@ -2,8 +2,8 @@ TMP_DIR=`mktemp -d` chmod 777 ${TMP_DIR} touch "${TMP_DIR}/dumb php file with spaces.php" touch "${TMP_DIR}/ddumb_php_file_without_spaces.php" -touch "${TMP_DIR}/$(printf '\u03c0').php" -docker run -it --rm -v "${TMP_DIR}:/work" its-registry.unl.edu/unl-its/docker-ci/php-lint:latest php-lint -d /work > /dev/null 2>&1 +touch "${TMP_DIR}/$(printf '\u03c0').php" +docker run -it --rm -v "${TMP_DIR}:/work" its-registry.unl.edu/unl-its/docker-ci/php-lint:latest php-lint -d /work RET=$? rm -rf ${TMP_DIR} if [ $RET -eq 0 ]; then