summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-06-20 16:28:00 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-06-20 16:28:00 +0100
commit0effa0aab06b3a56382729f79fbea79ae36531b8 (patch)
treebebc00030779f14fbd51f4654cbe2723294dc0e5 /dgit
parent9f4a5f045e36edddb3ffd23667a52f4ee319c675 (diff)
Dgit.pm: Move shell_cmd from dgit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit5
1 files changed, 0 insertions, 5 deletions
diff --git a/dgit b/dgit
index 94f915e..2cf78ec 100755
--- a/dgit
+++ b/dgit
@@ -561,11 +561,6 @@ sub runcmd_ordryrun_local {
}
}
-sub shell_cmd {
- my ($first_shell, @cmd) = @_;
- return qw(sh -ec), $first_shell.'; exec "$@"', 'x', @cmd;
-}
-
our $helpmsg = <<END;
main usages:
dgit [dgit-opts] clone [dgit-opts] package [suite] [./dir|/dir]