changeset 33372 | 96277015b613 |
parent 33031 | e208908e7d48 |
child 33441 | ce975712c050 |
--- a/common/bin/compare.sh Tue Oct 27 10:35:14 2015 +0100 +++ b/common/bin/compare.sh Wed Jul 05 20:56:50 2017 +0200 @@ -51,8 +51,6 @@ STAT_PRINT_SIZE="-c %s" fi -UNARCHIVE="$UNZIP -q" - COMPARE_EXCEPTIONS_INCLUDE="$SRC_ROOT/common/bin/compare_exceptions.sh.incl" if [ ! -e "$COMPARE_EXCEPTIONS_INCLUDE" ]; then echo "Error: Cannot locate the exceptions file, it should have been here: $COMPARE_EXCEPTIONS_INCLUDE"