build.sh needs updates as well

[ci skip]
This commit is contained in:
Kevin Lange 2013-02-10 02:00:23 -08:00
parent 56b83c1020
commit 6933511a01

View File

@ -16,10 +16,6 @@ pushd toolchain
./install.sh
. activate.sh
popd
# Build the userspace tools:
pushd userspace
make
popd
# Build the kernel
make system # to build the kernel
# XXX: Attempt to boot the kernel with qemu automatically...