Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/configs/baseline/profiledef.sh
diff options
context:
space:
mode:
authorDavid Runge <dvzrv@archlinux.org>2021-05-13 13:16:51 +0200
committerDavid Runge <dvzrv@archlinux.org>2021-05-13 18:31:39 +0200
commit8e44a8b72e279b6c19b10e735fee711bc38365b7 (patch)
tree6581d3f2ee778714175a1eb80937096a5dda8c3f /configs/baseline/profiledef.sh
parentd0d4fa56cbead6c6d48205f07f38be04edd0e0ec (diff)
ci: consolidate build script
.gitlab/ci/build-inside-vm.sh: Add `print_section_start()` and `print_section_end()` to remove code duplication when printing gitlab collapsible sections (https://docs.gitlab.com/ee/ci/jobs/#custom-collapsible-sections). Document further script dependencies. Remove the temporary directory base (located in the project directory) instead of only the tempdir. Simplify setting file and directory ownership when running with sudo, by only doing it once, recursively on the output directory. Make the script's output more verbose by using verbose flags for removal, ownership changes and zsyncmake actions and by displaying e.g. created metrics and checksum files. Change `create_metrics()` to output to a `metrics.txt` by default. Change `create_checksums()` to create the checksums relative to the files.
Diffstat (limited to 'configs/baseline/profiledef.sh')
0 files changed, 0 insertions, 0 deletions