diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-25 16:58:10 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:38:00 +0300 |
commit | f37ca48b87219162a1b16a04abbcd978a645a0cf (patch) | |
tree | 6cba5b8b20fe53daa62cf0aa951fdf17ad78c0a0 | |
parent | a111f00803f928d736c2a27ea4a5dcc6033777a1 (diff) | |
download | inter-f37ca48b87219162a1b16a04abbcd978a645a0cf.tar.xz |
makefile: select zip file in finder after making the zip (only on macos)
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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} |