From 046af7629eb07497e5ffb42ff2678549000de0f8 Mon Sep 17 00:00:00 2001 From: thetazero Date: Tue, 5 Jul 2022 12:03:04 -0400 Subject: [PATCH] Correct typo --- BUILDING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/BUILDING.md b/BUILDING.md index fc7b116595..37800e689f 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -70,7 +70,7 @@ The test suite in the top level `tests` directory. It needs the unix port to ru Then you can run the test suite: cd ../../tests - ./run-tests + ./run-tests.py A successful run will say something like