diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-04-24 19:53:36 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-04-24 19:53:36 +0200 |
| commit | 63331ef731209ec8db65d7f26bdbebdf9459107d (patch) | |
| tree | 5821f52c432a07d374fddc4b89d8a466833b3734 /build_odin.sh | |
| parent | a40a53b10447c9223c24cccf565a95f1773d3922 (diff) | |
Revert "Merge pull request #1702 from Kelimion/filename_generation"
This reverts commit a40a53b10447c9223c24cccf565a95f1773d3922, reversing
changes made to 5422a3b17eae821df4adf869960995e922eb0e76.
Diffstat (limited to 'build_odin.sh')
| -rwxr-xr-x | build_odin.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_odin.sh b/build_odin.sh index 4810cafd2..aef3f2836 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -102,7 +102,7 @@ build_odin() { } run_demo() { - ./odin run examples/demo + ./odin run examples/demo/demo.odin -file } case $OS in @@ -147,4 +147,4 @@ if [[ $# -eq 1 ]]; then exit 0 else panic "Too many arguments!" -fi
\ No newline at end of file +fi |