diff options
Diffstat (limited to 'arch/djgpp/config.sed')
-rw-r--r-- | arch/djgpp/config.sed | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/arch/djgpp/config.sed b/arch/djgpp/config.sed new file mode 100644 index 000000000..6127488f4 --- /dev/null +++ b/arch/djgpp/config.sed @@ -0,0 +1,16 @@ +# 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, |