diff options
| author | Ian Lance Taylor <ian@airs.com> | 1997-08-23 16:34:55 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1997-08-23 16:34:55 +0000 |
| commit | f6c44ed30238dd3133f9b72479cbf8c6ecb90e60 (patch) | |
| tree | d045b1d14ec5630f0e0b7c9f2d81ff01992bb9ef /gas/doc | |
| parent | 68eaa14109f69627fe55e6a4fdcbde8c5086be1f (diff) | |
| download | gdb-f6c44ed30238dd3133f9b72479cbf8c6ecb90e60.zip gdb-f6c44ed30238dd3133f9b72479cbf8c6ecb90e60.tar.gz gdb-f6c44ed30238dd3133f9b72479cbf8c6ecb90e60.tar.bz2 | |
fix v850 sanitization
Diffstat (limited to 'gas/doc')
| -rw-r--r-- | gas/doc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index 2d3a446..56ce962 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -129,6 +129,7 @@ if ( echo $* | grep keep\-v850e > /dev/null ) ; then mv new $i fi done + fi fi # Don't try to clean directories here, as the 'mv' command will fail. |