diff options
-rwxr-xr-x | build | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -47,10 +47,10 @@ main() roms) if [ $# -gt 1 ] && [ "$2" = "serprog" ]; then mk -b stm32-vserprog pico-serprog - return 0 - fi - shift 1 - x_ ./mk -b coreboot "$@" ;; + else + shift 1 + x_ ./mk -b coreboot "$@" + fi ;; *) [ -f "$spath" ] || $err "bad command" $shcmd |