this program does not terminate for the CVS verion:
#!/usr/bin/scsh -s
!#
(error "error" '1)
Michal> this program does not terminate for the CVS verion:
Michal> #!/usr/bin/scsh -s
Michal> !#
Michal> (error "error" '1)
I've just fixed this. Thanks for providing me with this test case, I
had it once but it got lost and so did the code that deals with it...
--
Martin