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