Andreas Wacknitz
2024-04-04 7587efba57fedc8f0e46216bba4a49da6e4c4625
tools/jenkinshelper-main.ksh
@@ -57,7 +57,7 @@
stage_build_changed() {
   echo "Last successful commit $1"
   worst=0
   for f in $(git diff --name-only HEAD^1 | grep Makefile; exit 0); do
   for f in $(cat changed_files.txt | grep Makefile; exit 0); do
      echo "jenkinshelper: building for ${f%/*}..."
      curpwd=$(pwd)
      cd "${f%/*}" && COMPONENT_BUILD_ARGS=-j$(psrinfo -t -c) gmake publish