diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-19 16:35:51 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-19 16:35:51 +0100 |
commit | 6111c7d2bd46c48d2b6b7d5b9695f7d349c81c5f (patch) | |
tree | 8dcbce97f79505ee4bbb3d30865796f68338502d /dgit | |
parent | e917ad10a9459a78561be1576801fea4cb0ce082 (diff) |
Detect and reject git trees containing debian/source/local-options.
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 ($) { |