diff options
Diffstat (limited to 'sim-scripts/check_endof')
-rwxr-xr-x | sim-scripts/check_endof | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/sim-scripts/check_endof b/sim-scripts/check_endof index 2bd33d0..6d77253 100755 --- a/sim-scripts/check_endof +++ b/sim-scripts/check_endof @@ -19,15 +19,7 @@ do case $f in # we don't expect an "END OF" from these *ppd*) ;; - *fatal*) ;; *minimum*) ;; - *stackchk*) ;; - # These do not know when they hit the case so run until killed. - *spintrcritical06*) ;; - *spintrcritical07*) ;; - *spintrcritical09*) ;; - *spintrcritical13*) ;; - *spintrcritical14*) ;; *) grep "END OF" $f >/dev/null if [ $? -ne 0 ] ; then |