diff options
Diffstat (limited to 'pc/djgpp/configure.sed')
| -rw-r--r-- | pc/djgpp/configure.sed | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pc/djgpp/configure.sed b/pc/djgpp/configure.sed index 6f14c38..f5025da 100644 --- a/pc/djgpp/configure.sed +++ b/pc/djgpp/configure.sed @@ -1,5 +1,5 @@ # Edit Makefile.in to produce Makefile for DJGPP v2 -# $Id: configure.sed,v 1.8 1997/06/18 06:26:43 eggert Exp $ +# $Id: configure.sed,v 1.9 1998/03/22 20:16:29 eggert Exp $ 1i\ # Makefile generated by "configure.bat" for DJGPP v2\ @@ -20,6 +20,7 @@ s|@LDFLAGS@||g s|@LIBOBJS@|getopt1.o getopt.o chdirsaf.o|g s|@LIBS@||g s|@PACKAGE@|patch|g +s|@U@||g /@VERSION@/d s|@prefix@|${DJDIR}|g |