diff options
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 24 |
1 files changed, 0 insertions, 24 deletions
@@ -145,30 +145,6 @@ else mv new $i fi done - echo Thawing more \"chill\" out of Makefile.in... - cp Makefile.in new - sed -e 's/ chillrt / /g' \ - -e 's/newlib, chillrt/newlib/g' \ - -e 's/ all-chillrt / /g' \ - -e '/^[ ]*install-chillrt[ ]*\\$/d' \ - -e 's/ install-chillrt / /g' \ - -e 's/newlib \| chillrt/newlib/g' \ - -e 's/install-man install-libchill install-librmt/install-man/g' \ - < Makefile.in > new - if [ -n "${safe}" -a ! -f .Recover/Makefile.in ] ; then - echo Caching Makefile.in in .Recover... - mv Makefile.in .Recover - fi - mv new Makefile.in - echo Thawing the \"chill\" out of configure.in... - cp configure.in new - sed -e 's/ chillrt / /g' \ - < configure.in > new - if [ -n "${safe}" -a ! -f .Recover/configure.in ] ; then - echo Caching configure.in in .Recover... - mv configure.in .Recover - fi - mv new configure.in fi for i in * ; do |