Correct typo

fede2cr · Jul 5, 2022 · 046af76 · 046af76
1 parent 0bc2964
commit 046af76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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