diff options
-rw-r--r-- | openmp/tools/multiplex/tests/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openmp/tools/multiplex/tests/lit.cfg b/openmp/tools/multiplex/tests/lit.cfg index a637d6f..4592505 100644 --- a/openmp/tools/multiplex/tests/lit.cfg +++ b/openmp/tools/multiplex/tests/lit.cfg @@ -90,7 +90,7 @@ if 'Linux' in config.operating_system: # substitutions config.substitutions.append(("FileCheck", "tee %%t.out | %s" % config.test_filecheck)) -config.substitutions.append(("%sort-threads", "sort --numeric-sort --stable")) +config.substitutions.append(("%sort-threads", "sort -n -s")) config.substitutions.append(("%libomp-compile-and-run", \ "%libomp-compile && %libomp-run")) |