Changeset 8183b35 in mainline

Timestamp:

2019-08-17T12:49:43Z (5 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

18b1643

Parents:

af7223b

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2019-07-01 13:11:26)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2019-08-17 12:49:43)

Message:

build_all.sh: Run configuration in parallel

File:

• build_all.sh (modified) (2 diffs)

build_all.sh

@@ -25 +25 @@
 echo "###################### Configuring all profiles ######################"
 
+echo "Configuring profiles" $PROFILES
+
 for profile in $PROFILES; do
+        # echo "Configuring profile ${profile}"
         if [ -f ${profile}/build.ninja ]; then
-                ninja -C ${profile} build.ninja || exit 1
+                script -q -e /dev/null -c "ninja -C '${profile}' build.ninja" </dev/null >"${profile}/configure_output.log" 2>&1  &
+                echo "$!" >"${profile}/configure.pid"
                 continue
         fi
-
-        echo "Configuring profile ${profile}"
 
         # Let HelenOS config tool write out Makefile.config and config.h.
         mkdir -p ${profile} || exit 1
         cd ${profile} || exit 1
-        ${SOURCE_DIR}/tools/config.py ${CONFIG_RULES} ${CONFIG_DEFAULTS} hands-off ${profile} || exit 1
+        "${SOURCE_DIR}/tools/config.py" "${CONFIG_RULES}" "${CONFIG_DEFAULTS}" hands-off "${profile}" || exit 1
         cd -
 
@@ -49 +51 @@
         fi
 
-        meson ${SOURCE_DIR} ${profile} --cross-file ${SOURCE_DIR}/meson/cross/${cross_target} || exit 1
+        script -q -e /dev/null -c "meson '${SOURCE_DIR}' '${profile}' --cross-file '${SOURCE_DIR}/meson/cross/${cross_target}'" </dev/null >"${profile}/configure_output.log" 2>&1 &
+        echo "$!" >"${profile}/configure.pid"
 done
+
+failed='no'
+
+for profile in $PROFILES; do
+        if ! wait `cat "${profile}/configure.pid"`; then
+                failed='yes'
+                cat "${profile}/configure_output.log"
+                echo
+                echo "Configuration of profile ${profile} failed."
+                echo
+        fi
+done
+
+if [ "$failed" = 'yes' ]; then
+        echo
+        echo "Some configuration jobs failed."
+        exit 1
+else
+        echo "All profiles configured."
+fi
 
 echo