diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 01:07:55 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 01:37:14 +0100 |
commit | 698dc5075b0494a8ba396e1bd0a785443b10f7ff (patch) | |
tree | 1465bf6cbb6511237139c77f188b2aabb15f1298 /Debian | |
parent | ffb9335e93d9c539dd61e62cf1ebcd834e363d72 (diff) |
Dgit.pm: Provide @git
This clears the way for some parts of Dgit.pm to honour dgit's
git invocation conventions.
No functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian')
-rw-r--r-- | Debian/Dgit.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index 4f9aac9..3f1d1b7 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -56,6 +56,7 @@ BEGIN { waitstatusmsg failedcmd_waitstatus failedcmd_report_cmd failedcmd runcmd shell_cmd cmdoutput cmdoutput_errok + @git git_rev_parse changedir_git_toplevel git_cat_file git_get_ref git_get_symref git_for_each_ref git_for_each_tag_referring is_fast_fwd @@ -113,6 +114,8 @@ our $gdrlast_refprefix = 'debrebase-last'; our $printdebug_when_debuglevel = 1; our $debugcmd_when_debuglevel = 1; +our (@git) = qw(git); + # these three all go together, only valid after record_maindir our $maindir; our $maindir_gitdir; |