diff --git a/build b/build index 56cc9cc..5698bd7 100755 --- a/build +++ b/build @@ -20,14 +20,15 @@ err="fail" main() { [ $# -lt 1 ] && $err "bad command" - spath="script/$1" + spath="script/$1"; shcmd="shift 1" + [ "${1#-*}" != "$1" ] && spath="script/trees" && shcmd=":" for g in "which git" "git config --global user.name" \ "git config --global user.email" "git_init"; do eval "$g 1>/dev/null 2>/dev/null || git_err \"$g\"" done - case "${1}" in + case "${spath#script/}" in version) printf "%s\nWebsite: %s\n" "$relname" "$projectsite" ;; release) shift 1; mkrelease $@ ;; roms) @@ -37,8 +38,9 @@ main() fi; shift 1 x_ ./update trees -b coreboot $@ ;; *) + echo "'$@'" [ -f "$spath" ] || $err "bad command" - shift 1; "$spath" $@ || $err "excmd: $spath $@" ;; + $shcmd; "$spath" $@ || $err "excmd: $spath $@" ;; esac } diff --git a/mk b/mk new file mode 120000 index 0000000..c795b05 --- /dev/null +++ b/mk @@ -0,0 +1 @@ +build \ No newline at end of file