diff options
Diffstat (limited to 'src/tools/bootstrap')
-rwxr-xr-x | src/tools/bootstrap | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/bootstrap b/src/tools/bootstrap index 78c38ab..8e0708e 100755 --- a/src/tools/bootstrap +++ b/src/tools/bootstrap @@ -37,7 +37,12 @@ build_omar() { $MAKE -C tools/omar } +build_kconf() { + $MAKE -C tools/kconf/ +} + build() { + build_kconf build_limine build_omar } |