diff options
-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" |