Clean the sh3 stuff out the right way.
authorSteve Chamberlain <sac@cygnus>
Tue, 6 Dec 1994 23:29:54 +0000 (23:29 +0000)
committerSteve Chamberlain <sac@cygnus>
Tue, 6 Dec 1994 23:29:54 +0000 (23:29 +0000)
opcodes/.Sanitize

index 6c6c253cd918f5e71fefb3743d521bb88e13f72d..f1619d202417d3b3a7ffbf5944ea318695fff9a4 100644 (file)
@@ -104,7 +104,7 @@ else
        done
 fi
 
-sh3_files="ChangeLog sh3-opc.h"
+sh3_files="ChangeLog sh-opc.h"
 if ( echo $* | grep keep\-sh3 > /dev/null ) ; then
        if [ -n "${verbose}" ] ; then
                echo Keeping sh3 stuff in $sh3_files.