mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-03-03 15:18:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove [[ for POSIX shell support

Browse Source
This commit is contained in:
jcmdln
2023-10-15 12:18:51 -04:00
parent 8fe431e53e
commit 51248270e1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
build_odin.sh
View File

@@ -117,10 +117,10 @@ run_demo() {
./odin run examples/demo/demo.odin -file
}
if [[ $# -eq 0 ]]; then
if [ $# -eq 0 ]; then
build_odin debug
run_demo
elif [[ $# -eq 1 ]]; then
elif [ $# -eq 1 ]; then
case $1 in
report)
[ ! -f "./odin" ] && build_odin debug