diff --git a/verify_examples.sh b/verify_examples.sh index c5da5e8..7384f50 100755 --- a/verify_examples.sh +++ b/verify_examples.sh @@ -28,9 +28,9 @@ for result in "$@"; do RETURNS=0 if [[ $EXITCODE != 0 ]]; then echo - echo "============= ${RED}FAILED (${NAME})${NC} ====================" + echo -e "============= ${RED}FAILED (${NAME})${NC} ====================" tail -n+3 $result - echo "============ ${RED}/FAILED (${NAME})${NC} ====================" + echo -e "============ ${RED}/FAILED (${NAME})${NC} ====================" echo OUTCOME=$(fail "${TIME}" "$EXITCODE") RETURNS=1