mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 05:17:34 +00:00
Ports: Add build_installed.sh script to rebuild installed ports
This commit is contained in:
parent
a38f5aa026
commit
917f7d668c
1 changed files with 41 additions and 0 deletions
41
Ports/build_installed.sh
Executable file
41
Ports/build_installed.sh
Executable file
|
@ -0,0 +1,41 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
packagesdb="$SERENITY_ROOT/Build/packages.db"
|
||||
|
||||
clean=false
|
||||
case "$1" in
|
||||
clean)
|
||||
clean=true
|
||||
;;
|
||||
*)
|
||||
;;
|
||||
esac
|
||||
|
||||
some_failed=false
|
||||
|
||||
while IFS= read -r line; do
|
||||
port="$(echo "$line" | cut -d' ' -f2)"
|
||||
if [ -d "$port" ]; then
|
||||
pushd $port > /dev/null
|
||||
dirname=$(basename $port)
|
||||
if [ "$clean" == true ]; then
|
||||
./package.sh clean_all
|
||||
fi
|
||||
if ./package.sh; then
|
||||
echo "Built ${dirname}."
|
||||
else
|
||||
echo "ERROR: Build of ${dirname} was not successful!"
|
||||
some_failed=true
|
||||
fi
|
||||
popd > /dev/null
|
||||
else
|
||||
echo "ERROR: Previously installed port $port doesn't exist!"
|
||||
some_failed=true
|
||||
fi
|
||||
done < <(grep -E "^(auto|manual)" "$packagesdb")
|
||||
|
||||
if [ "$some_failed" == false ]; then
|
||||
exit 0
|
||||
else
|
||||
exit 1
|
||||
fi
|
Loading…
Add table
Add a link
Reference in a new issue