Changeset fa6fbad8 in mainline

Timestamp:

2019-08-17T12:49:44Z (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:

ee353dd8

Parents:

19c2b44

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2019-07-16 13:23:53)

git-committer:

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

Message:

Build images by default in build_all.sh

File:

• build_all.sh (modified) (2 diffs)

build_all.sh

@@ -8 +8 @@
 SOURCE_DIR=`dirname -- "$SOURCE_DIR"`
 SOURCE_DIR=`cd $SOURCE_DIR && echo $PWD`
+
+# Check command line arguments.
+
+if [ "$#" -gt 1 ] || [ "$#" -eq 1 -a "$1" != '--no-images' ]; then
+        echo "Unknown command-line arguments."
+        echo "Usage:"
+        echo "\t$0                    # Build everything."
+        echo "\t$0 --no-images        # Build all code, but don't create bootable images."
+        exit 1
+fi
+
+if [ "$#" -eq 1 ]; then
+        NO_IMAGES=true
+else
+        NO_IMAGES=false
+fi
 
 # Make sure we don't make a mess in the source root.
@@ -63 +79 @@
 done
 
+if [ "$NO_IMAGES" = 'true' ]; then
+        echo
+        echo "Bootable images not built due to argument --no-images."
+        exit 0
+fi
 
-if [ "$#" -eq 1 ] && [ "$1" = 'images' ]; then
+echo
+echo "###################### Building all images ######################"
+
+for profile in $PROFILES; do
         echo
-        echo "###################### Building all images ######################"
+        ninja -C ${profile} image_path || exit 1
+done
 
-        for profile in $PROFILES; do
-                echo
-                ninja -C ${profile} image_path || exit 1
-        done
+echo
+for profile in $PROFILES; do
+        path=`cat ${profile}/image_path`
 
-        echo
-        for profile in $PROFILES; do
-                path=`cat ${profile}/image_path`
-
-                if [ ! -z "$path" ]; then
-                        echo "built ${profile}/${path}"
-                fi
-        done
-else
-        echo
-        echo "Bootable images not built."
-        echo "Run '$0 images' to build them as well."
-fi
+        if [ ! -z "$path" ]; then
+                echo "built ${profile}/${path}"
+        fi
+done