From f5cc8bd7bf0071d46fb39091a23fe19def22c02b Mon Sep 17 00:00:00 2001
From: Colin Davidson <colrdavidson@gmail.com>
Date: Wed, 9 Mar 2022 06:14:30 -0800
Subject: [PATCH] only build odin for report when necessary

---
 build_odin.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/build_odin.sh b/build_odin.sh
index 634e4aa7f..77d69a6e5 100755
--- a/build_odin.sh
+++ b/build_odin.sh
@@ -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
 		;;