diff tests/pullext.py @ 44489:9183b7dcfa8d

run-tests: add option for running with and without Rust extensions This provide a simple and clear way to run the test with or without rust.
author Raphaël Gomès <rgomes@octobus.net>
date Fri, 06 Mar 2020 11:16:15 +0100
parents 9f70512ae2cf
children 77b8588dd84e
line wrap: on
line diff