[geany/geany] 957da2: CI: Use "JOBS" environment variable for make if set - Commits

19 Mar 2023


      Branch:      refs/heads/master
Author:      Enrico Tröger enrico.troeger@uvena.de
Committer:   Enrico Tröger enrico.troeger@uvena.de
Date:        Sun, 19 Mar 2023 13:43:47 UTC
Commit:      957da21ddfc6e9e00f1a7b208d55e7ed3f7ebe20
             https://github.com/geany/geany/commit/957da21ddfc6e9e00f1a7b208d55e7ed3f7ebe...
Log Message:
-----------
CI: Use "JOBS" environment variable for make if set
Modified Paths:
--------------
    scripts/ci_mingw64_geany.sh
Modified: scripts/ci_mingw64_geany.sh
3 lines changed, 2 insertions(+), 1 deletions(-)
===================================================================
@@ -82,6 +82,7 @@ export PKG_CONFIG_SYSROOT_DIR="/windows"
 export PKG_CONFIG_PATH="/windows/${MINGW_ARCH}/lib/pkgconfig/"
 export PKG_CONFIG="/usr/bin/pkg-config"
 export NOCONFIGURE=1
+export JOBS=${JOBS:-1}
# stop on errors
 set -e
@@ -173,7 +174,7 @@ build_geany() {
    log "Running configure"
    ./configure ${CONFIGURE_OPTIONS}
    log "Running make"
-	make
+	make -j ${JOBS}
    log "Running install-strip"
    make install-strip
 }
--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).

    