diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 644b949b2b..aca09bd6d7 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