New GUI (fixes #73, fixes #87)

2014-04-09 23:00:23 +02:00
parent c42a6b511c
commit 433a0cb9cc
5 changed files with 606 additions and 352 deletions
--- a/build.sh
+++ b/build.sh
@@ -62,7 +62,8 @@ deps() {

 case "$1" in
 	"")
-		build
+		shift
+		build $*
 		;;

 	race)