mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 06:17:35 +00:00
Ports: Allow verbose argument in build_all.sh
This patch allows for a verbose argument to be passed so that the build output of the individual builds is printed to stdout instead of /dev/null to help with diagnosing errors If the verbose argument is not passed the old behaviour is preserved and the build output is printed to /dev/null
This commit is contained in:
parent
3c35ea30cc
commit
26d72d3048
1 changed files with 34 additions and 5 deletions
|
@ -1,10 +1,26 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
clean=false
|
clean=false
|
||||||
|
verbose=false
|
||||||
|
|
||||||
case "$1" in
|
case "$1" in
|
||||||
clean)
|
clean)
|
||||||
clean=true
|
clean=true
|
||||||
;;
|
;;
|
||||||
|
verbose)
|
||||||
|
verbose=true
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
;;
|
||||||
|
esac
|
||||||
|
|
||||||
|
case "$2" in
|
||||||
|
clean)
|
||||||
|
clean=true
|
||||||
|
;;
|
||||||
|
verbose)
|
||||||
|
verbose=true
|
||||||
|
;;
|
||||||
*)
|
*)
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
@ -16,14 +32,27 @@ for file in *; do
|
||||||
pushd $file > /dev/null
|
pushd $file > /dev/null
|
||||||
dirname=$(basename $file)
|
dirname=$(basename $file)
|
||||||
if [ "$clean" == true ]; then
|
if [ "$clean" == true ]; then
|
||||||
|
if [ "$verbose" == true ]; then
|
||||||
|
./package.sh clean_all
|
||||||
|
else
|
||||||
./package.sh clean_all > /dev/null 2>&1
|
./package.sh clean_all > /dev/null 2>&1
|
||||||
fi
|
fi
|
||||||
|
fi
|
||||||
|
if [ "$verbose" == true ]; then
|
||||||
|
if $(./package.sh); then
|
||||||
|
echo "Built ${dirname}."
|
||||||
|
else
|
||||||
|
echo "ERROR: Build of ${dirname} was not successful!"
|
||||||
|
some_failed=true
|
||||||
|
fi
|
||||||
|
else
|
||||||
if $(./package.sh > /dev/null 2>&1); then
|
if $(./package.sh > /dev/null 2>&1); then
|
||||||
echo "Built ${dirname}."
|
echo "Built ${dirname}."
|
||||||
else
|
else
|
||||||
echo "ERROR: Build of ${dirname} was not successful!"
|
echo "ERROR: Build of ${dirname} was not successful!"
|
||||||
some_failed=true
|
some_failed=true
|
||||||
fi
|
fi
|
||||||
|
fi
|
||||||
popd > /dev/null
|
popd > /dev/null
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue