fix CI build for Windows

2016-08-03 17:40:03 +02:00 · 2016-08-03 17:40:03 +02:00 · 02aece1030
parent 732538af0d
commit 02aece1030
1 changed files with 1 additions and 0 deletions
--- a/tools/ci-build
+++ b/tools/ci-build
@ -174,6 +174,7 @@ case $configure in
  *) error "internal error";;
 esac

+$make -f $makefile coldstart
 $make -f $makefile core
 $make -f $makefile coreboot
 $make -f $makefile world