diff options
| -rw-r--r-- | t/test-lib.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/t/test-lib.sh b/t/test-lib.sh index a827a0f0c8..07a5eff7f9 100644 --- a/t/test-lib.sh +++ b/t/test-lib.sh @@ -134,9 +134,6 @@ do with_dashes=t; shift ;; --no-color) color=; shift ;; - --no-python) - # noop now... - shift ;; --va|--val|--valg|--valgr|--valgri|--valgrin|--valgrind) valgrind=t; verbose=t; shift ;; --tee) |