From 88ef34cc6bdbb4acca9869ebe086ac91585e1710 Mon Sep 17 00:00:00 2001 From: Serge Guzik Date: Wed, 13 Feb 2019 13:05:55 +0200 Subject: [PATCH] fix: Java archive recognition --- warp4j | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/warp4j b/warp4j index 66e598f..f67d4a7 100755 --- a/warp4j +++ b/warp4j @@ -218,7 +218,7 @@ if [[ ! -e $JAR ]]; then fi # checking file is actually java archive -if [[ $(file $JAR) != *"Zip"* ]] || +if [[ $(file $JAR) != *"archive"* ]] || # it could be "Java archive data" or "Zip archive data" [[ $JAR_EXTENSION_LOWERCASE != "jar" ]]; then echo "Error: File \"$JAR\" is not a java archive" >&2 exit 1