K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-08-27T20:26:44.000000Z K 7 svn:log V 461 Make the shell handle a null command in a &&/|| sequence correctly. The && and || tokens do also terminate a command, not only the newline. While i was at it, disabled trace code by default, it served no good purpose since it required the use of a debugger anyway to be turned on. Instead, placed a hint in the Makefile on how to turn it on. This makes the shell ~ 10 % faster and ~ 4 KB smaller. :) Pointed out by: jan@physik.TU-Berlin.DE (Jan Riedinger) END