diff options
| -rw-r--r-- | THANKS | 1 | ||||
| -rw-r--r-- | configure.ac | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -150,6 +150,7 @@ Edzer Pebesma Edzer.Pebesma@rivm.nl Egmont Koblinger egmont@uhulinux.hu Eirik Fuller eirik@hackrat.com Eivind eivindt@multinet.no +Elbert Pol elbert.pol@gmail.com Eli Zaretskii eliz@is.elta.co.il Elias Pipping pipping@gentoo.org Emile LeBlanc leblanc@math.toronto.edu diff --git a/configure.ac b/configure.ac index 0e101a14a..36fc0cf5c 100644 --- a/configure.ac +++ b/configure.ac @@ -268,7 +268,7 @@ done v=no_install__progs t=`sed -n '/^'$v' =/,/[[^\]]$/p' $mk \ | sed 's/^ *//;/^\$.*/d;/^'$v' =/d' \ - | tr -s '\\012\\\\' ' '` + | tr -s '\\015\\012\\\\' ' '` # Remove any trailing space. no_install_progs_default=`echo "$t"|sed 's/ $//'` |