From 409af7f20502222c8ffe4c20d416d0a5415d017e Mon Sep 17 00:00:00 2001
From: Adhityaa Chandrasekar <adtac@adtac.in>
Date: Wed, 1 May 2019 18:06:51 -0400
Subject: [PATCH] autoserve: add option to serve prod

---
 scripts/autoserve | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/scripts/autoserve b/scripts/autoserve
index 63ec0d8..9e1b20a 100755
--- a/scripts/autoserve
+++ b/scripts/autoserve
@@ -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