From 0b0caaf11b441a5e4fe336fc43bcaf7269097806 Mon Sep 17 00:00:00 2001 From: Doug Evans Date: Fri, 6 Feb 1998 02:42:34 +0000 Subject: delete txvu/dvp/sky stuff, lives in mips dir now, configured with mips64r5900-sky-elf. --- sim/.Sanitize | 35 ----------------------------------- 1 file changed, 35 deletions(-) (limited to 'sim/.Sanitize') diff --git a/sim/.Sanitize b/sim/.Sanitize index e2c24a7..3df70e7 100644 --- a/sim/.Sanitize +++ b/sim/.Sanitize @@ -22,13 +22,6 @@ else lose_these_too="${d30v_files} ${lose_these_too}" fi -sky_files="txvu" -if ( echo $* | grep keep\-sky > /dev/null ) ; then - keep_these_too="${sky_files} ${keep_these_too}" -else - lose_these_too="${sky_files} ${lose_these_too}" -fi - tic80_files="tic80" if ( echo $* | grep keep\-tic80 > /dev/null ) ; then keep_these_too="${tic80_files} ${keep_these_too}" @@ -158,34 +151,6 @@ else done fi -txvu_files="configure configure.in ChangeLog" -if ( echo $* | grep keep\-sky > /dev/null ) ; then - for i in $txvu_files ; do - if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Keeping sky stuff in $i - fi - fi - done -else - for i in $txvu_files ; do - if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Removing traces of \"sky\" from $i... - fi - cp $i new - sed '/start\-sanitize\-sky/,/end-\sanitize\-sky/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 - for i in * ; do if test ! -d $i && (grep sanitize $i > /dev/null) ; then echo '***' Some mentions of Sanitize are still left in $i! 1>&2 -- cgit v1.1