Plumb version to command line arg in install_linux.sh

cmu-snap · May 23, 2024 · d2b26fa · d2b26fa
1 parent 90ec145
commit d2b26fa
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/linux/install_linux.sh b/linux/install_linux.sh
@@ -4,15 +4,17 @@ set -eoux pipefail
 
 if [ "$#" -ne 1 ]; then
     echo "ERROR: Illegal number of parameters."
-    echo "Usage: ./install_linux.sh <main dir>"
+    echo "Usage: ./install_linux.sh <main dir> <version default=5.15.156>"
     exit 255
 fi
 main_dir="$1"
-
-version="5.15.107"
+version="5.15.156"
+if [ -z "$2" ]; then
+    version="$2"
+fi
 
 DEBIAN_FRONTEND="noninteractive" sudo apt-get -y --no-install-recommends install \
-git \
+    git \
     fakeroot \
     build-essential \
     ncurses-dev \