Detect and reject git trees containing debian/source/local-options.

[dgit.git] / dgit

diff --git a/dgit b/dgit
index 7c76a6f5473f6fc97b3fa1b0e1de902c9653faa6..621288b7184186f6c95607cb4727af83e9b742bd 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -1761,6 +1761,10 @@ sub check_not_dirty () {
     } else {
        failedcmd @cmd;
     }
+
+    if (stat_exists "debian/source/local-options") {
+       fail "git tree contains debian/source/local-options";
+    }
 }
 
 sub commit_admin ($) {