diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-17 07:23:28 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-17 07:23:28 +0100 |
| commit | 36fad2bb1922d7acb769d68843a9093efd0d6bcc (patch) | |
| tree | 2e67f229592de4ff521cc6dc7a9bceb2032fb10f | |
| parent | d7a0bee54febacd193e3d57f258d2d29efee2060 (diff) | |
| download | devops-36fad2bb1922d7acb769d68843a9093efd0d6bcc.tar.xz | |
generate-bug-report: fail if source is not up-to-date
| -rwxr-xr-x | generate-bug-report | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate-bug-report b/generate-bug-report index 8732faf..e599352 100755 --- a/generate-bug-report +++ b/generate-bug-report @@ -1,6 +1,6 @@ #!/bin/bash -git pull --ff-only +git pull --ff-only || exit $? if ! diff -u PKGBUILD ../../trunk/PKGBUILD; then >&2 echo "trunk differs - say something and I won't create a bug report." |