Bug 13171

Summary: "config" not quite right for kernel not named "kernel"
Product: Base System Reporter: george+freebsd <george+freebsd>
Component: i386Assignee: freebsd-bugs (Nobody) <bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: 3.2-RELEASE   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.diff
none
file.diff none

Description george+freebsd 1999-08-16 03:40:01 UTC 
The config command generates a Makefile which assumes that the kernel
being configured will be named "kernel", even if the config statement
in the configuration file says otherwise.

Fix: The following diff to /usr/src/usr.sbin/config/mkmakefile.c will
substitute the real kernel name for all occurences of %KERNEL in
the Makefile template file:


The following diff will put "%KERNEL" in the appropriate places
in /usr/src/sys/i386/conf/Makefile.i386:

How-To-Repeat: 
1. Create a kernel configuration file named TEST containing the line:
config frobozz root on da0
(and everything else necessary to configure a kernel).
2. Run "config" on this configuration file.
3. Observe that ../../compile/TEST/Makefile has multiple references
to the file "kernel" instead of "frobozz".
Comment 1 nbm freebsd_committer freebsd_triage 2000-08-05 23:30:19 UTC 
State Changed
From-To: open->closed

4.0 (at least) and above use a new way to give kernel names, which works 
for the tests you give.