]> git.madduck.net Git - code/myrepos.git/commitdiff

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

mr: Make check() even more pedantic deploy master
authorRichard Hartmann <richih@debian.org>
Sat, 22 Nov 2014 08:25:36 +0000 (09:25 +0100)
committerRichard Hartmann <richih@debian.org>
Sat, 22 Nov 2014 08:25:36 +0000 (09:25 +0100)
mr

diff --git a/mr b/mr
index f60ce7b1a1649305d3ff50b338167d525ee4ff2f..300f0887e58b8b0e72fde164bdae4d22c2f2fcc5 100755 (executable)
--- a/mr
+++ b/mr
@@ -1880,7 +1880,7 @@ sub getopts {
 }
 
 sub check {
-       my @env = qw(GIT_DIR GIT_WORK_TREE VCSH_COMMAND);
+       my @env = qw(GIT_DIR GIT_INDEX_FILE GIT_OBJECT_DIRECTORY GIT_WORK_TREE VCSH_COMMAND VCSH_DIRECTORY VCSH_REPO_NAME);
        foreach (@env) {
                die ("mr: environment variable '$_' is set. You are about to shoot your own foot.\n") if ($ENV{$_});
        }