common/bin/compare.sh
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"