mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-11 20:03:28 +00:00
Fix some bit-rot.
Estimated hours taken: 0.1 Branches: main tools/binary_step: Fix some bit-rot.
This commit is contained in:
@@ -374,7 +374,7 @@ fi
|
||||
|
||||
for testdir in $testdirs
|
||||
do
|
||||
if (cd tests/$testdir; runtests)
|
||||
if (cd tests/$testdir; mmake runtests)
|
||||
then
|
||||
echo "tests in the $testdir directory successful"
|
||||
else
|
||||
|
||||
Reference in New Issue
Block a user