Skip to content

Commit

Permalink
fix creation of tethered launchers
Browse files Browse the repository at this point in the history
  • Loading branch information
mflatt committed Jan 31, 2022
1 parent b406ddf commit 563c684
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion gui-lib/mred/installer.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -72,4 +72,5 @@
(list "-A" (path->string (find-system-path 'addon-dir)))))

(define (config-flags)
(list "-G" (path->string (find-config-dir))))
(list "-X" (path->string (find-collects-dir))
"-G" (path->string (find-config-dir))))

0 comments on commit 563c684

Please sign in to comment.