2020-06-15 08:08:20 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
[ -f /.dockerenv ] || { echo "please run in supplied container"; exit 1; }
|
|
|
|
|
set -e; source environment
|
|
|
|
|
|
2020-07-18 00:38:06 +00:00
|
|
|
devices=${DEVICES?}
|
2020-06-29 22:55:34 +00:00
|
|
|
build_dir="${BUILD_DIR?}"
|
|
|
|
|
heads_dir="${build_dir}/heads"
|
2020-06-15 08:08:20 +00:00
|
|
|
|
2020-07-18 00:38:06 +00:00
|
|
|
for device in ${devices}; do
|
|
|
|
|
(cd "${heads_dir}"; make BOARD="$device")
|
|
|
|
|
done
|
