Ports: Added build script to build all ports

Use the option clean to clean up the working directory/downloads before building:
 ./build_all.sh clean
This commit is contained in:
Emanuel Sprung 2020-02-04 01:04:45 +01:00 committed by Andreas Kling
parent 5c06c32df4
commit e3dcea9b27
Notes: sideshowbarker 2024-07-19 09:34:51 +09:00

35
Ports/build_all.sh Executable file
View file

@ -0,0 +1,35 @@
#!/bin/bash
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
echo "ERROR: Built ${dirname} not succesful!"
some_failed=true
fi
popd > /dev/null
fi
done
if [ "$some_failed" == false ]; then
exit 0
else
exit 1
fi