2021-10-20 13:26:27 -04:00
|
|
|
#!/bin/zsh
|
|
|
|
|
|
|
|
set -eo pipefail
|
|
|
|
let jobs=$(nproc)-2
|
2022-01-31 15:02:30 -05:00
|
|
|
|
|
|
|
if [ -f .git/config ] && [ -f .git/HEAD ]; then
|
|
|
|
REV=$(git rev-parse --short HEAD)$(git diff --quiet || echo "-dirty")
|
|
|
|
scripts/config --set-str CONFIG_LOCALVERSION "-g$REV"
|
|
|
|
fi
|
|
|
|
|
2021-11-29 12:06:08 -05:00
|
|
|
make -j$jobs $* | python /home/anna/bin/colors/make.py
|