Changed linuxbr to linux, may ultimately change it to linux so it doesn't

conflict with user-mode-linux, need to check on the set-up. Probably gbootroot
should be made to conflict with these deb packages.  Options has more
explanation and another hidden option added.
This commit is contained in:
freesource
2002-11-20 06:18:00 +00:00
parent 8827b1b0d4
commit 4c90daea57
2 changed files with 19 additions and 4 deletions
+1 -2
View File
@@ -374,7 +374,6 @@ home_builder($tmp1);
# directories
if ( !%option ) {
# $HOME/.gbootroot/root_filesystem
home_builder($home_rootfs);
@@ -826,7 +825,7 @@ else {
print " --filesystem-command=c \"$::makefs\"\n";
print " --uml-exclusively=on|off off\n";
print " --uml-kernel=path $ENV{HOME}/.gbootroot/" .
"uml_kernel/linuxbr\n";
"uml_kernel/linux\n";
print " --preserve-ownership=y|n n\n\n";
print " (system kernel options)\n";
print " --kernel=path specify different system kernel\n";