diff options
| author | Martin Roth <gaumless@gmail.com> | 2018-07-22 10:31:19 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-07-31 10:07:26 +0000 |
| commit | 7a98591a1dcdeda9c67efc1e65c8549b528a1dd2 (patch) | |
| tree | 30e6779a2788d459b62e9bd49c0c73ac62624db8 | |
| parent | 4e71436d5f4ff7b9af5a3d9a70f97ba0248668ad (diff) | |
abuild: Update failed boards handling
- Use TARGET variable for location of passing/failing boards files.
This should better handle the directory, wherever it is.
- Don't save make.log location if make.log is being deleted.
Change-Id: I28e55feef85c9b642ac5ff70ecef113cf7978707
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/27596
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
| -rwxr-xr-x | util/abuild/abuild | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index 5ec416a97b..f67117c50c 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -379,7 +379,11 @@ function compile_target printf "failed\n" > compile.status printf "%s build FAILED after %ss!\nLog excerpt:\n" "$BUILD_NAME" "${duration}" tail -n $CONTEXT make.log 2> /dev/null || tail -$CONTEXT make.log - echo "$BUILD_NAME - Log: ${TOP}/${build_dir}/make.log" >> "$FAILED_BOARDS" + if [ "$clean_work" = "true" ]; then + echo "$BUILD_NAME" >> "$FAILED_BOARDS" + else + echo "$BUILD_NAME - Log: ${build_dir}/make.log" >> "$FAILED_BOARDS" + fi failed=1 fi cd "$CURR" || return $? @@ -740,8 +744,8 @@ if [ "$customizing" = "" ]; then customizing="default configuration" fi -FAILED_BOARDS="${COREBOOT_BUILD_DIR:-${TOP}/coreboot-builds}/failed_boards" -PASSED_BOARDS="${COREBOOT_BUILD_DIR:-${TOP}/coreboot-builds}/passing_boards" +FAILED_BOARDS="${TARGET}/failed_boards" +PASSED_BOARDS="${TARGET}/passing_boards" if [ "$recursive" = "false" ]; then rm -f "$FAILED_BOARDS" "$PASSED_BOARDS" |