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