diff options
author | David Edelsohn <dje.gcc@gmail.com> | 1996-09-23 16:18:01 +0000 |
---|---|---|
committer | David Edelsohn <dje.gcc@gmail.com> | 1996-09-23 16:18:01 +0000 |
commit | 8c84dfa139b28e01d6e8b6b858bcc0ca30c5d7eb (patch) | |
tree | 2441b40f6bd2dcd1abcd4165e263f4b63b55088d /include | |
parent | 12ffa10c1d38b3700e6db4140fcfa8ac76b6c6e8 (diff) | |
download | gdb-8c84dfa139b28e01d6e8b6b858bcc0ca30c5d7eb.zip gdb-8c84dfa139b28e01d6e8b6b858bcc0ca30c5d7eb.tar.gz gdb-8c84dfa139b28e01d6e8b6b858bcc0ca30c5d7eb.tar.bz2 |
m32r.h: new file
Diffstat (limited to 'include')
-rw-r--r-- | include/elf/.Sanitize | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 644b949..aca09bd 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -33,6 +33,14 @@ else lose_these_too="${d10v_files} ${lose_these_too}" fi +m32r_files="m32r.h" + +if ( echo $* | grep keep\-m32r > /dev/null ) ; then + keep_these_too="${m32r_files} ${keep_these_too}" +else + lose_these_too="${m32r_files} ${lose_these_too}" +fi + # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize |