POSIX shell fixes

This commit is contained in:
Dave Gauer 2021-03-06 18:10:24 -05:00
parent 7573ea4843
commit 71dd4ff1ae
2 changed files with 4 additions and 5 deletions

View file

@ -28,15 +28,14 @@ do
patch_name="patches/$true_name.patch"
if [[ -f $patch_name ]]
if [ -f $patch_name ]
then
# Apply the bandages to the wounds, grow new limbs, let
# new life spring into the broken bodies of the fallen.
echo Healing $true_name...
patch --output=healed/$true_name.zig $broken $patch_name
else
echo Cannot heal $true_name. Making empty patch.
echo > $patch_name
echo Cannot heal $true_name. No patch found.
fi
done