From cd3db339c8fb98f0cfe3774b70cd72c5e4d659bb Mon Sep 17 00:00:00 2001
From: Joshua Bussdieker <josh.bussdieker@moovweb.com>
Date: Thu, 2 Feb 2012 00:05:20 -0800
Subject: [PATCH] Use gb -bi if there is no Makefile.gvm

---
 bin/gvmake | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/bin/gvmake b/bin/gvmake
index 6109246..633caab 100755
--- a/bin/gvmake
+++ b/bin/gvmake
@@ -1 +1,6 @@
-make -f Makefile.gvm $@
+if [[ -f Makefile.gvm ]]; then
+	make -f Makefile.gvm $@
+else
+	gb -bi
+fi
+