diff options
author | Ekaitz Zarraga <ekaitz@elenq.tech> | 2023-10-21 16:26:18 +0200 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2023-11-05 07:27:58 -0500 |
commit | a552fe2b158b75496177f3f470c144569fa19d95 (patch) | |
tree | c76a6eeb81b67736d9739242a6eb1dbc64028af3 /scripts | |
parent | c1d5240aecab77021c262b9ad1ac27df54b59017 (diff) |
Fix command-line args.main
With this commits (command-line) are properly set. Before they were
always (guile).
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/run-game | 3 | ||||
-rw-r--r-- | scripts/run-game.in | 7 |
2 files changed, 7 insertions, 3 deletions
diff --git a/scripts/run-game b/scripts/run-game deleted file mode 100755 index 3be3551..0000000 --- a/scripts/run-game +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exec guile -c '(use-modules (game main)) (launch-game (command-line))' diff --git a/scripts/run-game.in b/scripts/run-game.in new file mode 100644 index 0000000..3a1020d --- /dev/null +++ b/scripts/run-game.in @@ -0,0 +1,7 @@ +#!@GUILE@ \ +--no-auto-compile -e main -s +!# + +(use-modules (game main)) +(define* (main #:optional (args (command-line))) + (launch-game args)) |