From 42c46c05562dc66ec9ed15ed4e5e437ac813a200 Mon Sep 17 00:00:00 2001 From: Kris Lamoureux Date: Fri, 18 Mar 2022 03:13:42 -0400 Subject: [PATCH] Remove hardcoded path --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 86302e1..ce6a2b4 100755 --- a/build.sh +++ b/build.sh @@ -42,7 +42,7 @@ function install_headers { # Build and install helloworld module or module(s) in $SCRATCH set -x -if [ ! -z "$(ls -Al /vagrant/scratch/ | grep -e ^d)" ]; then +if [ ! -z "$(ls -Al $SCRATCH | grep -e ^d)" ]; then cd "$SCRATCH" for d in */ ; do if [ -f "$(basename $d)/override.sh" ]; then