diff options
| -rw-r--r-- | sim/mips/.Sanitize | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize index 9d91b6d..c54db57 100644 --- a/sim/mips/.Sanitize +++ b/sim/mips/.Sanitize @@ -37,6 +37,9 @@ sky_files="$sky_files sky-gs.c sky-gs.h" sky_files="$sky_files sky-hardware.c sky-hardware.h sky-gdb.c" sky_files="$sky_files sky-libvpe.c sky-libvpe.h sky-pke.c sky-pke.h" sky_files="$sky_files sky-vpe.h sky-vu.h sky-vu.c sky-vudis.h sky-vudis.c" +sky_files="$sky_files sky-console.h sky-console.c" +sky_files="$sky_files sky-interact.h sky-interact.c" +sky_files="$sky_files sky-indebug.h sky-indebug.c" if ( echo $* | grep keep\-sky > /dev/null ) ; then keep_these_too="${sky_files} ${keep_these_too}" else |