aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Hunt <hunt@redhat.com>1996-11-21 19:01:14 +0000
committerMartin Hunt <hunt@redhat.com>1996-11-21 19:01:14 +0000
commit8ae9505bc0bca9ace7c9be68159d884c2c314ec3 (patch)
tree310f66d843a984347362d9eb8c722c01a1bd1813
parentd9a9c18fada657b0da3f0180570aaf15d55fddbd (diff)
downloadgdb-8ae9505bc0bca9ace7c9be68159d884c2c314ec3.zip
gdb-8ae9505bc0bca9ace7c9be68159d884c2c314ec3.tar.gz
gdb-8ae9505bc0bca9ace7c9be68159d884c2c314ec3.tar.bz2
Removed d10v.h.
-rw-r--r--include/elf/.Sanitize8
1 files changed, 0 insertions, 8 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize
index aca09bd..9ffe17f 100644
--- a/include/elf/.Sanitize
+++ b/include/elf/.Sanitize
@@ -25,14 +25,6 @@ else
lose_these_too="${arc_files} ${lose_these_too}"
fi
-d10v_files="d10v.h"
-
-if ( echo $* | grep keep\-d10v > /dev/null ) ; then
- keep_these_too="${d10v_files} ${keep_these_too}"
-else
- lose_these_too="${d10v_files} ${lose_these_too}"
-fi
-
m32r_files="m32r.h"
if ( echo $* | grep keep\-m32r > /dev/null ) ; then