From f37ca48b87219162a1b16a04abbcd978a645a0cf Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Tue, 25 Sep 2018 06:58:10 -0700 Subject: makefile: select zip file in finder after making the zip (only on macos) --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index ececae8b8..b8545b595 100644 --- a/Makefile +++ b/Makefile @@ -189,6 +189,7 @@ build/release/Inter-UI-%.zip: build/tmp/a.zip @mkdir -p "$(shell dirname "$@")" @mv -f "$<" "$@" @echo write "$@" + @sh -c "if [ -f /usr/bin/open ]; then /usr/bin/open --reveal '$@'; fi" zip: ${ZIP_FILE_DEV} zip_dist: pre_dist test ${ZIP_FILE_DIST} -- cgit v1.2.3