fix github CI build which broke by itself because it is a bit of a mess
This commit is contained in:
parent
1e1c7e2218
commit
5ae38a00e4
1 changed files with 1 additions and 1 deletions
|
|
@ -14,7 +14,7 @@ while [[ $# -gt 0 ]]; do
|
||||||
shift
|
shift
|
||||||
;;
|
;;
|
||||||
-reveal-in-finder)
|
-reveal-in-finder)
|
||||||
OPT_REVEAL_IN_FINDER=true
|
[ "$(uname -s)" = Darwin ] && OPT_REVEAL_IN_FINDER=true
|
||||||
shift
|
shift
|
||||||
;;
|
;;
|
||||||
-*)
|
-*)
|
||||||
|
|
|
||||||
Reference in a new issue