From 5ae38a00e46815a33c8f4fa86ca218c8a7733755 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Wed, 15 Mar 2023 13:59:42 -0700
Subject: [PATCH] fix github CI build which broke by itself because it is a bit
 of a mess

---
 misc/makezip2.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
     ;;
   -*)