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