fixed armelf sanitization

This commit is contained in:
Nick Clifton 1998-08-04 00:36:01 +00:00
parent 82912e99bd
commit 28574bf993
1 changed files with 8 additions and 0 deletions

View File

@ -23,6 +23,14 @@ else
lose_these_too="${tic80_files} ${lose_these_too}"
fi
armelf_files="elf32-arm.c"
if ( echo $* | grep keep\-armelf > /dev/null ) ; then
keep_these_too="${armelf_files} ${keep_these_too}"
else
lose_these_too="${armelf_files} ${lose_these_too}"
fi
# All files listed between the "Things-to-keep:" line and the
# "Do-last:" line will be kept. All other files will be removed.
# Directories listed in this section will have their own Sanitize