1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 16:37:47 +00:00

Ports: Rename dirname to port to clarify its meaning

This commit is contained in:
Gunnar Beutner 2021-04-21 22:50:59 +02:00 committed by Andreas Kling
parent e9604f1bd6
commit 8a95408673

View file

@ -30,7 +30,7 @@ some_failed=false
for file in *; do
if [ -d $file ]; then
pushd $file > /dev/null
dirname=$(basename $file)
port=$(basename $file)
if [ "$clean" == true ]; then
if [ "$verbose" == true ]; then
./package.sh clean_all
@ -40,16 +40,16 @@ for file in *; do
fi
if [ "$verbose" == true ]; then
if ./package.sh; then
echo "Built ${dirname}."
echo "Built ${port}."
else
echo "ERROR: Build of ${dirname} was not successful!"
echo "ERROR: Build of ${port} was not successful!"
some_failed=true
fi
else
if ./package.sh > /dev/null 2>&1; then
echo "Built ${dirname}."
echo "Built ${port}."
else
echo "ERROR: Build of ${dirname} was not successful!"
echo "ERROR: Build of ${port} was not successful!"
some_failed=true
fi
fi