ci-build: remove now-redundant `make coldstart`

2017-10-18 17:32:09 +02:00 · 2017-10-18 17:32:09 +02:00 · 41ee22b842
parent 577badafee
commit 41ee22b842
1 changed files with 0 additions and 1 deletions
--- a/tools/ci-build
+++ b/tools/ci-build
@ -218,7 +218,6 @@ case $configure in
  *) error "internal error";;
 esac

-$make $jobs coldstart
 $make $jobs core
 $make $jobs coreboot
 $make $jobs world