diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-02-21 17:55:04 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-02-21 17:55:04 +0000 |
| commit | bf150019d738c4219bc464ad66fcd55c859ac04c (patch) | |
| tree | 3dd844b7538282f57d25164eb9c7c8c112ff998b /.Sanitize | |
| parent | 032d50a95e4b2cfd6f5c9ef123dd3c6a37c35cc6 (diff) | |
| download | fsf-binutils-gdb-bf150019d738c4219bc464ad66fcd55c859ac04c.zip fsf-binutils-gdb-bf150019d738c4219bc464ad66fcd55c859ac04c.tar.gz fsf-binutils-gdb-bf150019d738c4219bc464ad66fcd55c859ac04c.tar.bz2 | |
Recognize arm-*-pe* (psion project).
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 42 |
1 files changed, 35 insertions, 7 deletions
@@ -92,6 +92,9 @@ Things-to-lose: Do-last: +# Don't try to clean directories here, as the 'mv' command will fail. +# Also, grep fails on NFS mounted directories. + if ( echo $* | egrep verbose > /dev/null ) ; then verbose=true else @@ -113,8 +116,6 @@ if [ -n "${verbose}" ] ; then echo Thawing away the \"chill\"... fi -# Don't try to clean directories here, as the 'mv' command will fail. -# Also, grep fails on NFS mounted directories. if ( echo $* | grep keep\-chill > /dev/null ) ; then for i in * ; do if test ! -d $i && (grep sanitize-chill $i > /dev/null) ; then @@ -146,8 +147,6 @@ if [ -n "${verbose}" ] ; then echo Removing traces of \"mpw\"... fi -# Don't try to clean directories here, as the 'mv' command will fail. -# Also, grep fails on NFS mounted directories. if ( echo $* | grep keep\-mpw > /dev/null ) ; then for i in * ; do if test ! -d $i && (grep sanitize-mpw $i > /dev/null) ; then @@ -179,10 +178,10 @@ if [ -n "${verbose}" ] ; then echo Processing \"arc\"... fi -# Don't try to clean directories here, as the 'mv' command will fail. -# Also, grep fails on NFS mounted directories. +arc_files="config.sub configure.in" + if ( echo $* | grep keep\-arc > /dev/null ) ; then - for i in * ; do + for i in $arc_files ; do if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then if [ -n "${verbose}" ] ; then echo Keeping arc stuff in $i @@ -208,6 +207,35 @@ else done fi +psion_files="config.sub configure.in" + +if ( echo $* | grep keep\-psion > /dev/null ) ; then + for i in $psion_files; do + if test ! -d $i && (grep sanitize-psion $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping psion stuff in $i + fi + fi + done +else + for i in * ; do + if test ! -d $i && (grep sanitize-psion $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"psion\" from $i... + fi + cp $i new + sed '/start\-sanitize\-psion/,/end-\sanitize\-psion/d' < $i > new + if [ -n "${safe}" -a ! -f .Recover/$i ] ; then + if [ -n "${verbose}" ] ; then + echo Caching $i in .Recover... + fi + mv $i .Recover + fi + mv new $i + fi + done +fi + rce_files="config.sub" if ( echo $* | grep keep\-rce > /dev/null ) ; then |