Use gb -bi if there is no Makefile.gvm

This commit is contained in:
Joshua Bussdieker
2012-02-02 00:05:20 -08:00
parent 2d9f83d8c1
commit cd3db339c8
+6 -1
View File
@@ -1 +1,6 @@
make -f Makefile.gvm $@
if [[ -f Makefile.gvm ]]; then
make -f Makefile.gvm $@
else
gb -bi
fi