improve configure

1 files changed, 4 insertions, 0 deletions

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}"