diff options
Diffstat (limited to 'databases/gnats/files/patch-ad')
| -rw-r--r-- | databases/gnats/files/patch-ad | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/databases/gnats/files/patch-ad b/databases/gnats/files/patch-ad deleted file mode 100644 index 5cfe9847b8dc..000000000000 --- a/databases/gnats/files/patch-ad +++ /dev/null @@ -1,20 +0,0 @@ ---- gnats/gnats-edit-pr.sh.orig Wed Mar 13 17:19:09 2002 -+++ gnats/gnats-edit-pr.sh Wed Mar 13 17:21:14 2002 -@@ -178,13 +178,11 @@ - - # lock the pr - $debug_print "Locking $pr_id." --lock=`$PR_EDIT --lock=$full_me $pr_id 2>&1 > $new` --locked=t -- --if [ "$lock" != "" ] ; then -- echo $lock -- exit 0 -+if ! $PR_EDIT --lock=$full_me $pr_id >$new ; then -+ echo "Failed to lock PR $pr_id" -+ exit 1 - fi -+locked=t - - # here's where we actually call the editor. - cp $new $new.old |