[PATCH] Use $DESTDIR instead of $dest

[git.git] / rev-parse.c

diff --git a/rev-parse.c b/rev-parse.c
index 1965e90..1c6ae76 100644 (file)
--- a/rev-parse.c
+++ b/rev-parse.c
@@ -33,6 +33,9 @@ static int is_rev_argument(const char *arg)
                "--max-age=",
                "--min-age=",
                "--merge-order",
+               "--topo-order",
+               "--bisect",
+               "--no-merges",
                NULL
        };
        const char **p = rev_args;