diff options
| -rw-r--r-- | make-tar.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make-tar.sh b/make-tar.sh index d3670984..cd5abc56 100644 --- a/make-tar.sh +++ b/make-tar.sh @@ -8,6 +8,9 @@ if : && zip -9r "${filename}" $(basename "${prefix}") then ls -lh -- "${filename}" + case "$(uname -s)" in + CYGWIN_*) ls -lh -- "$(cygpath -w -- "$filename")";; + esac else rm -fv -- "${filename}" exit 1 |