12 lines
167 B
Bash
Executable File
12 lines
167 B
Bash
Executable File
#!/bin/bash
|
|
|
|
unset CC
|
|
pushd /home/build/osdev/toolchain
|
|
. activate.sh || exit 1
|
|
popd
|
|
pushd userspace
|
|
make || exit 1
|
|
popd
|
|
make system || exit 1
|
|
make test || exit 1
|