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

only build odin for report when necessary

Browse Source
This commit is contained in:
Colin Davidson
2022-03-09 06:14:30 -08:00
parent 005d52cab7
commit f5cc8bd7bf
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
build_odin.sh
View File

@@ -89,8 +89,11 @@ fi
if [[ $# -eq 1 ]]; then
case $1 in
report)
EXTRAFLAGS="-g"
build_odin
if [[ ! -f "./odin" ]]; then
EXTRAFLAGS="-g"
build_odin
fi
./odin report
exit 0
;;