changeset 33031 | e208908e7d48 |
parent 32812 | 7a2d9c874229 |
child 33441 | ce975712c050 |
--- a/common/bin/compare.sh Tue Oct 20 10:39:07 2015 +0200 +++ b/common/bin/compare.sh Tue Oct 20 16:40:01 2015 +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"