--- a/libInit.cc Tue Sep 21 20:18:24 1999 +0200 +++ b/libInit.cc Thu Sep 23 09:00:31 1999 +0200 @@ -1,6 +1,6 @@ /* * DO NOT EDIT - * automatically generated from Make.proto + * automatically generated from Make.proto (by make libInit.cc) */ #define __INDIRECTVMINITCALLS__ #include <stc.h>