Changeset 3e828ea in mainline for tools/release.sh
- Timestamp:
- 2019-09-23T12:49:29Z (6 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 9be2358
- Parents:
- 9259d20 (diff), 1a4ec93f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)links above to see all the changes relative to each parent. - git-author:
- Jiri Svoboda <jiri@…> (2019-09-22 12:49:07)
- git-committer:
- Jiri Svoboda <jiri@…> (2019-09-23 12:49:29)
- File:
-
- 1 moved
-
tools/release.sh (moved) (moved from tools/check.sh ) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
tools/release.sh
r9259d20 r3e828ea 1 #! /bin/bash1 #!/bin/sh 2 2 3 3 # 4 # Copyright (c) 201 0 Jakub Jermar4 # Copyright (c) 2019 Jiří Zárevúcky 5 5 # All rights reserved. 6 6 # … … 29 29 # 30 30 31 if [ $1" " == "-h " ]; 32 then 33 echo "Perform pre-integration hands-off build of all profiles." 34 echo 35 echo "Syntax:" 36 echo " $0 [-h] [args...]" 37 echo 38 echo " -h Print this help." 39 echo " args... All other args are passed to make (e.g. -j 6)" 40 echo 31 # Find out the path to the script. 32 SOURCE_DIR=`which -- "$0" 2>/dev/null` 33 # Maybe we are running bash. 34 [ -z "$SOURCE_DIR" ] && SOURCE_DIR=`which -- "$BASH_SOURCE"` 35 [ -z "$SOURCE_DIR" ] && exit 1 36 SOURCE_DIR=`dirname -- "$SOURCE_DIR"` 37 SOURCE_DIR=`cd $SOURCE_DIR && cd .. && echo $PWD` 41 38 42 exit43 fi44 39 45 FAILED="" 46 PASSED="" 47 PROFILES="" 48 DIRS=`find defaults/ -name Makefile.config | sed 's/^defaults\/\(.*\)\/Makefile.config/\1/' | sort` 40 echo "Running tools/build_all.sh" 49 41 50 for D in $DIRS; 51 do 52 for H in $DIRS; 53 do 54 if [ `echo $H | grep "^$D\/.*"`x != "x" ]; 55 then 56 continue 2 57 fi 58 done 59 PROFILES="$PROFILES $D" 60 done 42 mkdir -p build_all 43 cd build_all 44 sh "${SOURCE_DIR}/tools/build_all.sh" 45 cd .. 61 46 62 echo ">>> Going to build the following profiles:" 63 echo $PROFILES 64 65 for P in $PROFILES; 66 do 67 echo -n ">>>> Building $P... " 68 ( make distclean && make PROFILE=$P HANDS_OFF=y "$@" ) >>/dev/null 2>>/dev/null 69 if [ $? -ne 0 ]; 70 then 71 FAILED="$FAILED $P" 72 echo "failed." 73 else 74 PASSED="$PASSED $P" 75 echo "ok." 76 fi 77 done 78 79 echo ">>> Done." 47 echo 80 48 echo 81 49 82 echo ">>> The following profiles passed:" 83 echo $PASSED 84 echo 50 PROFILES=`sh ${SOURCE_DIR}/tools/list_profiles.sh` 51 RELEASE=`sed -n 's:^HELENOS_RELEASE \?= \?\(.*\)$:\1:p' "${SOURCE_DIR}/version"` 52 SRC_ARCHIVE="HelenOS-${RELEASE}-src.tar" 85 53 86 echo ">>> The following profiles failed:"87 echo $FAILED 88 echo 54 git -C "${SOURCE_DIR}" archive master -o "${PWD}/${SRC_ARCHIVE}" 55 bzip2 -f "${SRC_ARCHIVE}" 56 echo "Created ${SRC_ARCHIVE}.bz2" 89 57 58 for profile in $PROFILES; do 59 image_name=`cat build_all/$profile/image_path` 60 if [ -z "$image_name" ]; then 61 continue 62 fi 63 64 image_path="build_all/$profile/`cat build_all/$profile/image_path`" 65 image_suffix=`echo "$image_name" | sed 's:.*\.::'` 66 67 release_name="HelenOS-${RELEASE}-`echo $profile | tr '/' '-'`.$image_suffix" 68 cp "$image_path" "$release_name" 69 70 echo "Created $release_name" 71 done
Note:
See TracChangeset
for help on using the changeset viewer.
