diff options
| -rw-r--r-- | THANKS | 1 | ||||
| -rw-r--r-- | configure.ac | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -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 |