diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/elf/.Sanitize | 7 | ||||
| -rw-r--r-- | include/opcode/.Sanitize | 6 |
2 files changed, 11 insertions, 2 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index f2e0656..d900ff9 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -22,6 +22,12 @@ Do-first: # called. Directories not listed will be removed in their entirety # with rm -rf. +if ( echo $* | grep keep\-v850 > /dev/null ) ; then + keep_these_too="v850.h ${keep_these_too}" +else + lose_these_too="v850.h ${lose_these_too}" +fi + Things-to-keep: ChangeLog @@ -37,7 +43,6 @@ m32r.h mips.h ppc.h sparc.h -v850.h Things-to-lose: diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize index 672b37a..9da64c0 100644 --- a/include/opcode/.Sanitize +++ b/include/opcode/.Sanitize @@ -31,6 +31,11 @@ else lose_these_too="${tic80_files} ${lose_these_too}" fi +if ( echo $* | grep keep\-v850 > /dev/null ) ; then + keep_these_too="v850.h ${keep_these_too}" +else + lose_these_too="v850.h ${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. @@ -65,7 +70,6 @@ ppc.h pyr.h sparc.h tahoe.h -v850.h vax.h Things-to-lose: |