diff options
| -rw-r--r-- | make-tar.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/make-tar.sh b/make-tar.sh index abb83fdd..838300fc 100644 --- a/make-tar.sh +++ b/make-tar.sh @@ -6,8 +6,6 @@ bin="$3" branch="$(git rev-parse --abbrev-ref HEAD)" -cmake --build "$bin" --target install -- -j4 || exit 1 - if : && cd $(dirname -- "${prefix}") && zip -9r "${filename}" $(basename "${prefix}") |