From: Jean Privat <jean@pryen.org>
Date: Fri, 11 May 2018 15:11:54 +0000 (-0400)
Subject: contrib/oot.sh: do not error if no makefile
X-Git-Url: http://nitlanguage.org

contrib/oot.sh: do not error if no makefile

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/contrib/oot.sh b/contrib/oot.sh
index 80c9aa7..c9b7a67 100755
--- a/contrib/oot.sh
+++ b/contrib/oot.sh
@@ -32,6 +32,10 @@ update_oot() {
 # Run trymake with arguments
 trymake_oot() {
 	echo "$name: trymake $@"
+	if [ ! -f "$dir/Makefile" ]; then
+		echo "no makefile"
+		return
+	fi
 	../misc/jenkins/trymake.sh "$name" "$dir" "$@"
 }