diff options
Diffstat (limited to 'distros/common.sh')
| -rwxr-xr-x | distros/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distros/common.sh b/distros/common.sh index 7b0d539..714b66a 100755 --- a/distros/common.sh +++ b/distros/common.sh @@ -57,7 +57,7 @@ build_install_ovmf() fi pushd $BUILD_DIR/edk2 - #run_cmd "make -C BaseTools" + run_cmd "make -C BaseTools" . ./edksetup.sh --reconfig run_cmd "nice build --cmd-len=64436 \ -DDEBUG_ON_SERIAL_PORT=TRUE \ |