kiss: rename build log file

This commit is contained in:
Dylan Araps 2020-09-27 09:08:43 +03:00
parent bd703ac9a1
commit 6ff9928b69
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E
1 changed files with 5 additions and 3 deletions

8
kiss
View File

@ -118,6 +118,8 @@ run_repo_hook() {
else else
cat "$_hook" cat "$_hook"
fi fi
# TODO: Reintroduce some kind of logging here.
} }
decompress() { decompress() {
@ -672,15 +674,15 @@ pkg_build() {
# killing the script ourselves. # killing the script ourselves.
{ "$repo_dir/build" "$pkg_dir/$pkg" "$build_version" 2>&1 || { { "$repo_dir/build" "$pkg_dir/$pkg" "$build_version" 2>&1 || {
log "$pkg" "build failed" log "$pkg" "build failed"
log "$pkg" "log stored to $log_dir/$pkg/$pid-$date" log "$pkg" "log stored to $log_dir/$pkg/$date-$pid"
run_user_hook build-fail "$pkg" "$pkg_dir/$pkg" run_user_hook build-fail "$pkg" "$pkg_dir/$pkg"
pkg_clean pkg_clean
kill 0 kill 0
} } | tee "$log_dir/$pkg/$pid-$date" } } | tee "$log_dir/$pkg/$date-$pid"
# Delete the log file if the build succeeded to prevent the directory # Delete the log file if the build succeeded to prevent the directory
# from filling very quickly with useless logs. # from filling very quickly with useless logs.
[ "$KISS_KEEPLOG" = 1 ] || rm -f "$log_dir/$pkg/$pid-$date" [ "$KISS_KEEPLOG" = 1 ] || rm -f "$log_dir/$pkg/$date-$pid"
# Copy the repository files to the package directory. This acts as the # Copy the repository files to the package directory. This acts as the
# database entry. # database entry.