diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-07-28 16:48:13 +0200 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2005-07-29 00:12:02 -0700 |
| commit | bd6bc56d4ebf04113657647e6d071e24ca708dad (patch) | |
| tree | 07770c5ccd6434e15045c08ef598f878a7cc1789 | |
| parent | server-info: do not complain if a tag points at a non-commit. (diff) | |
| download | tgif-bd6bc56d4ebf04113657647e6d071e24ca708dad.tar.xz | |
[PATCH] remove "-r" option to xargs
git-prune-script still contained that non-portable option.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | git-prune-script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-prune-script b/git-prune-script index 2c678f26a4..a8e338c488 100755 --- a/git-prune-script +++ b/git-prune-script @@ -20,6 +20,6 @@ sed -ne '/unreachable /{ s|\(..\)|\1/|p }' | { cd "$GIT_OBJECT_DIRECTORY" || exit - xargs -r $dryrun rm -f + xargs $dryrun rm -f } |