summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--THANKS1
-rw-r--r--configure.ac2
2 files changed, 2 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index cb9b09808..e1d2089a0 100644
--- a/THANKS
+++ b/THANKS
@@ -133,6 +133,7 @@ David Malone dwmalone@cnri.dit.ie
Dawson Engler engler@stanford.edu
Dean Gaudet dean-savannah@arctic.org
Deepak Goel deego@gnufans.org
+Denis Excoffier denis.excoffier@airbus.com
Dennis Henriksen opus@flamingo.osrl.dk
Dennis Smit ds@nerds-incorporated.org
Derek Clegg dclegg@next.com
diff --git a/configure.ac b/configure.ac
index 464bea233..ac93e1ca0 100644
--- a/configure.ac
+++ b/configure.ac
@@ -258,7 +258,7 @@ mk="$srcdir/src/Makefile.am"
v=EXTRA_PROGRAMS
for gl_i in `sed -n '/^'$v' =/,/[[^\]]$/p' $mk \
| sed 's/^ *//;/^\$.*/d;/^'$v' =/d' \
- | tr -s '\\015\\012\\\\' ' '`; do
+ | tr -s '\\015\\012\\\\' ' '`; do
gl_ADD_PROG([optional_bin_progs], $gl_i)
done