Rename some account server patches, misc small changes

This commit is contained in:
Matthew Lopez
2023-12-18 20:54:32 -05:00
parent 89489f2462
commit fd2ec3801d
8 changed files with 21 additions and 20 deletions

View File

@@ -20,6 +20,7 @@ for dir in "$git_base/patches/"*; do
for patch in "$git_base/patches/$subdir"/*; do
echo "Applying patch $patch..."
git apply "$patch" -v
git add .
num_patches=$((num_patches + 1))
done
fi