98 |
echo "${BUILD_ARCH[*]}" |
echo "${BUILD_ARCH[*]}" |
99 |
} |
} |
100 |
|
|
101 |
enum-all-arch-types() |
enum-playground-arch-types() |
102 |
{ |
{ |
103 |
local arch |
local arch |
104 |
local build_arch_types |
local build_arch_types |
105 |
|
|
|
for arch in src ${BUILD_ARCH[*]} |
|
|
do |
|
|
if [ ! -e ${BUILDSERVER_CONFIG_DIR}/profiles/${BUILDROOT_PROFILE}/${arch}/mage.rc ] |
|
|
then |
|
|
echo "Warning: mage.rc of '${arch}' not found. Arch '${arch}' ignored." >&2 |
|
|
else |
|
|
build_arch_types+=( "${arch}" ) |
|
|
fi |
|
|
done |
|
|
|
|
106 |
if [[ ${BUILD_PLAYGROUND} -eq 1 ]] |
if [[ ${BUILD_PLAYGROUND} -eq 1 ]] |
107 |
then |
then |
108 |
for arch in ${BUILD_ARCH[*]} |
for arch in ${BUILD_ARCH[*]} |
118 |
|
|
119 |
echo "${build_arch_types[*]}" |
echo "${build_arch_types[*]}" |
120 |
} |
} |
121 |
|
|
122 |
|
enum-all-arch-types() |
123 |
|
{ |
124 |
|
local arch |
125 |
|
local build_arch_types |
126 |
|
|
127 |
|
for arch in src $(enum-build-arch-types) $(enum-playground-arch-types) |
128 |
|
do |
129 |
|
if [ ! -e ${BUILDSERVER_CONFIG_DIR}/profiles/${BUILDROOT_PROFILE}/${arch}/mage.rc ] |
130 |
|
then |
131 |
|
echo "Warning: mage.rc of '${arch}' not found. Arch '${arch}' ignored." >&2 |
132 |
|
else |
133 |
|
build_arch_types+=( "${arch}" ) |
134 |
|
fi |
135 |
|
done |
136 |
|
|
137 |
|
echo "${build_arch_types[*]}" |
138 |
|
} |