Move debian/ folder to separate repository.

This commit is contained in:
Sebastian Lackner
2015-11-20 22:22:26 +01:00
parent eee03cfecb
commit 923b875122
21 changed files with 12 additions and 703 deletions

View File

@ -8,8 +8,8 @@ warning()
echo ""
}
if git status --porcelain "debian" | grep "^.[^ ]" &> /dev/null; then
warning "PLEASE ADD OR STASH YOUR CHANGES IN debian"
if git status --porcelain "patch-tools" | grep "^.[^ ]" &> /dev/null; then
warning "PLEASE ADD OR STASH YOUR CHANGES IN patch-tools"
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" =~ ^debian/tools/ ]] || [[ "$file" =~ ^debian/changelog ]]; then
if [[ "$file" =~ ^patches/ ]] || [[ "$file" =~ ^patch-tools/ ]]; then
warning "UPDATING AUTOGENERATED FILES"
debian/tools/patchupdate.py || exit 1
./patch-tools/patchupdate.py || exit 1
break;
fi
done