recordings: Make get_back_in_sync.sh respect ${MAKE}

tenox7 · Nov 28, 2023 · 48e5fd7 · 48e5fd7
1 parent e51eb53
commit 48e5fd7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/recordings/get_back_in_sync.sh b/recordings/get_back_in_sync.sh
@@ -6,6 +6,8 @@
 
 set -e -u
 
+: ${MAKE:=make}
+
 self_dir="$(dirname "$(type -P "$0")")"
 
 cd "${self_dir}"
@@ -16,7 +18,7 @@ if ! git diff --exit-code >/dev/null \
     exit 1
 fi
 
-make -C ..  # to ensure up-to-date ttyplot binary
+"${MAKE}" -C ..  # to ensure up-to-date ttyplot binary
 
 ./record.sh