diff options
author | Mathias Kresin <dev@kresin.me> | 2019-01-16 21:57:53 +0100 |
---|---|---|
committer | Mathias Kresin <dev@kresin.me> | 2019-01-26 15:23:36 +0100 |
commit | ec0d58ede42e5c8d9829933dd98265e452b7c63d (patch) | |
tree | fab885a3bb11d16ff17c969faad8cf4bcad6ca58 /Makefile | |
parent | 650df59e8a541e56b854ca03495c29db2f7cb846 (diff) | |
download | upstream-ec0d58ede42e5c8d9829933dd98265e452b7c63d.tar.gz upstream-ec0d58ede42e5c8d9829933dd98265e452b7c63d.tar.bz2 upstream-ec0d58ede42e5c8d9829933dd98265e452b7c63d.zip |
gemini: fix parallel build
Due to the missing PROFILES all images are build, regardless of the
selected (or currently processed in case of a multi profile build).
Because of the race condition builds with eight parallel jobs fail,
which can be seen on the build bots as well.
Add the PROFILES variable for now, till the root cause is identified.
Signed-off-by: Mathias Kresin <dev@kresin.me>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions