Răsfoiți Sursa

update configure

ruki 2 ani în urmă
părinte
comite
fa0c689c81
1 a modificat fișierele cu 1 adăugiri și 1 ștergeri
  1. 1 1
      configure

+ 1 - 1
configure

@@ -391,7 +391,7 @@ path_toolname() {
         *-ar) toolname="ar";;
         */ar) toolname="ar";;
         ar) toolname="ar";;
-        *) raise "unknown tool for ${1}";;
+        *) raise "unknown tool ${1}";;
     esac
     _ret="${toolname}"
 }