launcher: repair user-scope Mac OS GUI launcher creation

This commit is contained in:
Matthew Flatt 2021-05-20 10:38:13 -06:00
parent 5e4670fc4d
commit 50ac429e6d

View File

@ -446,7 +446,7 @@
(find-addon-tethered-gui-bin-dir)) (find-addon-tethered-gui-bin-dir))
(and config? (and config?
(find-config-tethered-gui-bin-dir)) (find-config-tethered-gui-bin-dir))
(find-gui-bin-dir-for use-exe #f))] (find-gui-bin-dir))]
[rel (find-relative-path cdir gdir)]) [rel (find-relative-path cdir gdir)])
(cond (cond
[(relative-path? rel) [(relative-path? rel)