From 06119f7d881b984b9adb01fb765894ff0ed7b629 Mon Sep 17 00:00:00 2001 From: David Rheinsberg Date: Tue, 26 May 2020 17:08:17 +0200 Subject: [PATCH] tools: move tree-diff into ./tools Move the `tree-diff` tool into ./tools, which is our new place for tools used by the test-suite or during development. The only hard-coded user is the TestBase, so fix its path to the tool so the test-suite will continue to find it. --- test/test.py | 2 +- tree-diff => tools/tree-diff | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename tree-diff => tools/tree-diff (100%) diff --git a/test/test.py b/test/test.py index c8eb588c..78786d84 100644 --- a/test/test.py +++ b/test/test.py @@ -156,7 +156,7 @@ class TestBase(): """ checkout = TestBase.locate_test_checkout() - output = subprocess.check_output([os.path.join(checkout, "tree-diff"), path1, path2]) + output = subprocess.check_output([os.path.join(checkout, "tools/tree-diff"), path1, path2]) return json.loads(output) diff --git a/tree-diff b/tools/tree-diff similarity index 100% rename from tree-diff rename to tools/tree-diff