chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix a formatting problem in --build-products-dir= doc.
[dgit.git]
/
infra
/
dgit-ssh-dispatch
diff --git
a/infra/dgit-ssh-dispatch
b/infra/dgit-ssh-dispatch
index ed9a23d5685079b61cfff82bc1044ea9cd245bab..9c023d80859fecd63cbc6ca64dfc925818bfc473 100755
(executable)
--- a/
infra/dgit-ssh-dispatch
+++ b/
infra/dgit-ssh-dispatch
@@
-119,7
+119,7
@@
sub serve_up ($) {
}
sub dispatch () {
}
sub dispatch () {
- local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'};
+ local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'}
// ''
;
if (m#^: dgit ($lre) git-check ($lre) ;#) {
selectpackage $1,$2, sub { prl "divert @_"; finish; };
if (m#^: dgit ($lre) git-check ($lre) ;#) {
selectpackage $1,$2, sub { prl "divert @_"; finish; };