Forgot to build the compilation image

2020-12-26 21:20:29 -08:00 · 2020-12-26 21:20:29 -08:00 · 8b8266c752
parent b7162b924c
commit 8b8266c752
1 changed files with 1 additions and 0 deletions
--- a/tools/publish.bash
+++ b/tools/publish.bash
@ -86,6 +86,7 @@ else
    make pull I=composite
 fi

+make pull image push I=compile
 make pull image push I=app

 sha="$(git describe --match=always-omit-tag --always --abbrev=40 --dirty)"