diff options
-rwxr-xr-x | Configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -6318,6 +6318,9 @@ case "$prefix" in '') dflt=`./loc . /usr/local /usr/local /local /opt /usr` ;; +*?/) + dflt=`echo "$prefix" | sed 's/.$//'` + ;; *) dflt="$prefix" ;; |