diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 19:13:07 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 19:15:13 +0100 |
| commit | 68ace2786dc26749014ea70a6ebb2b896b1f25d1 (patch) | |
| tree | 27fc4aacc039fb037d72939ee0ae9acf58c6a036 /infra/dgit-repos-server | |
| parent | e170fb0964308d97bf19f341ea79dab08f11935e (diff) | |
Infra: Support not running out of working tree
Diffstat (limited to 'infra/dgit-repos-server')
| -rwxr-xr-x | infra/dgit-repos-server | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index b43d574..50cba57 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -163,7 +163,8 @@ $SIG{__WARN__} = sub { die $_[0]; }; # appropriate lock. # # If policy hook wants to run dgit (or something else in the dgit -# package), it should use DGIT-LIVE-DIR/dgit (etc.) +# package), it should use DGIT-LIVE-DIR/dgit (etc.), or if that is +# ENOENT, use the installed version. use POSIX; |