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 (executable)
--- 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" "$@"
 }