autoserve: add option to serve prod

2026-11-01 01:16:21 -05:00 · 2019-05-01 18:17:57 -04:00
1 parent 060520bd7f
commit 409af7f205
@@ -9,7 +9,11 @@ ctrl_c() {
  exit
 }

-version=devel
+if [[ "$1" == "" ]]; then
+  version=devel
+else
+  version=$1
+fi

 binary_pid=
 if make $version -j$(($(nproc) + 1)); then