* Add sky-vudis.h, sky-vudis.c.
authorIan Carmichael <iancarm@cygnus>
Wed, 8 Apr 1998 20:14:44 +0000 (20:14 +0000)
committerIan Carmichael <iancarm@cygnus>
Wed, 8 Apr 1998 20:14:44 +0000 (20:14 +0000)
sim/mips/.Sanitize

index b3a1263b0b712039644484e9d86515446176f808..9d91b6df7d8d5e2a6f693f1e103525096a963710 100644 (file)
@@ -36,7 +36,7 @@ sky_files="$sky_files sky-engine.c sky-gpuif.c sky-gpuif.h"
 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_files="$sky_files sky-vpe.h sky-vu.h sky-vu.c sky-vudis.h sky-vudis.c"
 if ( echo $* | grep keep\-sky > /dev/null ) ; then
         keep_these_too="${sky_files} ${keep_these_too}"
 else