Rename patch-tools/ to staging/.

This commit is contained in:
Sebastian Lackner
2015-11-23 02:43:28 +01:00
parent 83bc0c02bd
commit 87b990dc41
9 changed files with 11 additions and 11 deletions

View File

@ -8,8 +8,8 @@ warning()
echo ""
}
if git status --porcelain "patch-tools" | grep "^.[^ ]" &> /dev/null; then
warning "PLEASE ADD OR STASH YOUR CHANGES IN patch-tools"
if git status --porcelain "staging" | grep "^.[^ ]" &> /dev/null; then
warning "PLEASE ADD OR STASH YOUR CHANGES IN staging"
exit 1
fi
@ -19,9 +19,9 @@ if git status --porcelain "patches" | grep -v "^.\\?.*\\.py$" | grep "^.[^ ]" &>
fi
git diff --cached --name-status | while read status file; do
if [[ "$file" =~ ^patches/ ]] || [[ "$file" =~ ^patch-tools/ ]]; then
if [[ "$file" =~ ^patches/ ]] || [[ "$file" =~ ^staging/ ]]; then
warning "UPDATING AUTOGENERATED FILES"
./patch-tools/patchupdate.py || exit 1
./staging/patchupdate.py || exit 1
break;
fi
done