travis: use SEMIGROUPS.Test in coverage tests

semigroups · Nov 17, 2017 · 95592ce · 95592ce
1 parent 6b4363c
commit 95592ce
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/travis-coverage.py b/scripts/travis-coverage.py
@@ -15,7 +15,8 @@
 threshold = int(sys.argv[2])
 
 _DIR = tempfile.mkdtemp()
-_COMMANDS = 'echo "Test(\\"' + f + '\\");;\n'
+_COMMANDS = 'echo "LoadPackage(\\"semigroups\\", false);;\n'
+_COMMANDS += 'SEMIGROUPS.Test(\\"' + f + '\\");;\n'
 _COMMANDS += '''UncoverageLineByLine();;
 LoadPackage(\\"profiling\\", false);;
 filesdir := \\"''' + os.getcwd() + '''/gap/\\";;\n'''