diff options
author | Maxim Uvarov <maxim.uvarov@linaro.org> | 2020-01-28 10:56:59 +0300 |
---|---|---|
committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2020-01-28 11:00:44 +0300 |
commit | abc66b0b1dc8d52dd8a547c8098fd7f2d32b2105 (patch) | |
tree | 9388180d334a4c0d411e8f4107a8a132cc5ae797 /ledge | |
parent | 9d71227d18a45071209efae0097299cd9f7cb04c (diff) |
ledge-oe: delete old config
make sure that config from previous build is deleted and
add vebose print which machine do we build.
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Change-Id: Ibf43fc147337c7e2389c39fe1e9605a88f41de16
Diffstat (limited to 'ledge')
-rwxr-xr-x | ledge/oe/builders.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ledge/oe/builders.sh b/ledge/oe/builders.sh index dc80f45a..7c844c6f 100755 --- a/ledge/oe/builders.sh +++ b/ledge/oe/builders.sh @@ -1,5 +1,7 @@ #!/bin/bash +echo "LEDGE build for machine ${MACHINE} distro ${DISTRO}" + set -e # workaround EDK2 is confused by the long path used during the build @@ -96,6 +98,7 @@ fi # let's remove the previous TMPDIR as well. # we want to preserve build/buildhistory though. rm -rf conf build/conf build/tmp-*glibc/ +rm -rf build-${DISTRO} source setup-environment |