diff options
author | Michael Tiemann <tiemann@cygnus> | 1994-11-26 00:17:52 +0000 |
---|---|---|
committer | Michael Tiemann <tiemann@cygnus> | 1994-11-26 00:17:52 +0000 |
commit | fb870b50a7fb8e68a4412f0c0e133de0f2844447 (patch) | |
tree | 6e85d5d7a4db535fd8fc1e6a530fdac169b4ad8e /gas/.Sanitize | |
parent | 52e895cbb4ca54301e9bd239967f7f42407eeea4 (diff) | |
download | gdb-fb870b50a7fb8e68a4412f0c0e133de0f2844447.zip gdb-fb870b50a7fb8e68a4412f0c0e133de0f2844447.tar.gz gdb-fb870b50a7fb8e68a4412f0c0e133de0f2844447.tar.bz2 |
Add changes from customer since last work.
Diffstat (limited to 'gas/.Sanitize')
-rw-r--r-- | gas/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index a6e4825..c84aef3 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -125,7 +125,7 @@ else done fi -rce_files="configure.in" +rce_files="configure.in as.c" if ( echo $* | grep keep\-rce > /dev/null ) ; then for i in $rce_files ; do |