ref: 585f0ebb06fb18adb79d7e9749f081cbbe1a7662
parent: da95e36da8a1f2e31212645e3ecb34d702ced883
author: Quentin Rameau <[email protected]>
date: Sun Aug 22 11:31:10 EDT 2021
scripts/config: Do not override TOOL variable Respect the TOOL variable if explicitely passed by the user.
--- 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