diff options
author | Rasmus Andersson <rasmus@notion.se> | 2023-03-15 23:59:42 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2023-03-15 23:59:42 +0300 |
commit | 5ae38a00e46815a33c8f4fa86ca218c8a7733755 (patch) | |
tree | 2c03fa97cff17fc57b34cc0a233a174cc59a543e /misc | |
parent | 1e1c7e2218d232a68930819ca14aa57d8219f647 (diff) | |
download | inter-5ae38a00e46815a33c8f4fa86ca218c8a7733755.tar.xz |
fix github CI build which broke by itself because it is a bit of a mess
Diffstat (limited to 'misc')
-rw-r--r-- | misc/makezip2.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/makezip2.sh b/misc/makezip2.sh index 26cdfc4dc..395b24d9e 100644 --- a/misc/makezip2.sh +++ b/misc/makezip2.sh @@ -14,7 +14,7 @@ while [[ $# -gt 0 ]]; do shift ;; -reveal-in-finder) - OPT_REVEAL_IN_FINDER=true + [ "$(uname -s)" = Darwin ] && OPT_REVEAL_IN_FINDER=true shift ;; -*) |