From b51bae040adafebac74eca5a640e21e2fe2c5478 Mon Sep 17 00:00:00 2001 From: ruki Date: Sat, 4 Feb 2023 00:51:52 +0800 Subject: improve configure --- configure | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/configure b/configure index 21de7bde5..cafd0b3fe 100755 --- a/configure +++ b/configure @@ -412,6 +412,10 @@ path_toolname() { *-ar) toolname="ar";; */ar) toolname="ar";; ar) toolname="ar";; + cc) toolname="gcc";; + */cc) toolname="gcc";; + c++) toolname="g++";; + */c++) toolname="g++";; *) raise "unknown tool ${1}";; esac _ret="${toolname}" -- cgit v1.3.1