diff --git a/build/build.sh b/build/build.sh index 7d04e2d..6a284d4 100755 --- a/build/build.sh +++ b/build/build.sh @@ -32,7 +32,7 @@ function usage() { echo -n " all" ( cd "$rootdir/tmp/$orelease/$target" - list=$(make info |& sed -n 's/\(^[a-zA-Z0-9_-]*\)\:$/\1/p' | grep -v Default || true) + list=$(make info |& sed -n 's/\(^[a-zA-Z0-9_-]*\)\:$/\1/p' | sort | grep -v Default || true) for p in $list; do echo -n " $p" done @@ -233,7 +233,7 @@ EOF cp "$rootdir/store/favicon.png" "$d/" # go over all devices and build them - profilelist=$(make info | sed -n 's/\(^[a-zA-Z0-9_-]*\)\:$/\1/p' | grep -v Default || true) + profilelist=$(make info | sed -n 's/\(^[a-zA-Z0-9_-]*\)\:$/\1/p' | sort | grep -v Default || true) echo -n "building profiles:" echo "$profilelist" | xargs echo -n " " echo