source-changes: changed files: 'src/sys/kern kern

Subject: changed files: 'src/sys/kern kern_exec.c'
To: None <source-changes>
From: Chris G. Demetriou <cgd>
List: source-changes
Date: 01/12/1994 18:33:59

Update of /b/source/CVS/src/sys/kern
In directory sun-lamp.cs.berkeley.edu:/e/users/cgd/trees/sun-lamp/sys/kern

Modified Files:
	kern_exec.c 
Log Message:
trim debugging code, for now, and kill dead code (unused options)

------------------------------------------------------------------------------