commit 80e2e9a48afa8ac5e013fd2ba183cf81352a7284
parent cbd81e63f9c872b7817b137e4b66ee4801a18467
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