2021-01-22 19:44:05 +03:00
|
|
|
#!/usr/bin/env bash
|
2020-02-04 03:04:45 +03:00
|
|
|
|
|
|
|
clean=false
|
|
|
|
case "$1" in
|
|
|
|
clean)
|
|
|
|
clean=true
|
|
|
|
;;
|
|
|
|
*)
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
|
|
|
|
some_failed=false
|
|
|
|
|
|
|
|
for file in *; do
|
|
|
|
if [ -d $file ]; then
|
|
|
|
pushd $file > /dev/null
|
|
|
|
dirname=$(basename $file)
|
|
|
|
if [ "$clean" == true ]; then
|
|
|
|
./package.sh clean_all > /dev/null 2>&1
|
|
|
|
fi
|
|
|
|
if $(./package.sh > /dev/null 2>&1 ); then
|
|
|
|
echo "Built ${dirname}."
|
|
|
|
else
|
2021-02-14 18:41:28 +03:00
|
|
|
echo "ERROR: Build of ${dirname} was not successful!"
|
2020-02-04 03:04:45 +03:00
|
|
|
some_failed=true
|
|
|
|
fi
|
|
|
|
popd > /dev/null
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
if [ "$some_failed" == false ]; then
|
|
|
|
exit 0
|
|
|
|
else
|
|
|
|
exit 1
|
2021-01-03 16:47:42 +03:00
|
|
|
fi
|