diff options
Diffstat (limited to 'arch/djgpp/config.sed')
| -rw-r--r-- | arch/djgpp/config.sed | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/arch/djgpp/config.sed b/arch/djgpp/config.sed new file mode 100644 index 0000000..72c5fb1 --- /dev/null +++ b/arch/djgpp/config.sed @@ -0,0 +1,21 @@ +# Copyright (C) 2000-2020 Free Software Foundation, Inc. +# +# This configure script is free software; the Free Software Foundation +# gives unlimited permission to copy, distribute and modify it. + +# Additional editing of Makefiles and atconfig +/ac_given_INSTALL=/,/^CEOF/ { + /^s%@g@%/a\ + /path=/s,:,;,g +} + +# DOS-style absolute file names should be supported as well +/\*) srcdir=/s,/\*,[\\\\/]* | [A-z]:[\\\\/]*, +/\$]\*) INSTALL=/s,\[/\$\]\*,[\\\\/$]* | [A-z]:[\\\\/]*, + +# Who said each line has only \012 at its end? +/DEFS=`sed -f/s,'\\012','\\012\\015', + +# Switch the order of the two Sed commands, since DOS path names +# could include a colon +/ac_file_inputs=/s,\( -e "s%\^%\$ac_given_srcdir/%"\)\( -e "s%:% $ac_given_srcdir/%g"\),\2\1, |