diff --git a/build/tools/extract_utils.sh b/build/tools/extract_utils.sh index 8a0b3f28..a4197a53 100644 --- a/build/tools/extract_utils.sh +++ b/build/tools/extract_utils.sh @@ -828,7 +828,7 @@ function extract() { # Check pinned files local HASH="${HASHLIST[$i-1]}" - if [ ! -z "$HASH" ] && [ "$HASH" != "x" ]; then + if [ "$DISABLE_PINNING" != "1" ] && [ ! -z "$HASH" ] && [ "$HASH" != "x" ]; then local KEEP="" local TMP="$TMP_DIR/$FROM" if [ -f "$TMP" ]; then