commit 585f0ebb06fb18adb79d7e9749f081cbbe1a7662
parent da95e36da8a1f2e31212645e3ecb34d702ced883
Author: Quentin Rameau <quinq@fifth.space>
Date: Sun, 22 Aug 2021 15:31:10 +0200
scripts/config: Do not override TOOL variable
Respect the TOOL variable if explicitely passed by the user.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/config b/scripts/config
@@ -2,13 +2,13 @@
case `uname` in
OpenBSD)
- echo TOOL=clang HOST=bsd
+ echo TOOL=${TOOL:-clang} HOST=bsd
;;
*BSD)
echo HOST=bsd
;;
Linux)
- echo TOOL=gnu HOST=linux
+ echo TOOL=${TOOL:-gnu} HOST=linux
;;
Plan9)
echo HOST=plan9