diff options
Diffstat (limited to 'openmp')
| -rw-r--r-- | openmp/runtime/test/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openmp/runtime/test/lit.cfg b/openmp/runtime/test/lit.cfg index 9f0c059d43c..7196d379c09 100644 --- a/openmp/runtime/test/lit.cfg +++ b/openmp/runtime/test/lit.cfg @@ -116,7 +116,7 @@ config.substitutions.append(("%flags", config.test_flags)) if config.has_ompt: config.substitutions.append(("FileCheck", config.test_filecheck)) - config.substitutions.append(("%sort-threads", "sort --numeric-sort --stable")) + config.substitutions.append(("%sort-threads", "sort -n -s")) if config.operating_system == 'Windows': # No such environment variable on Windows. config.substitutions.append(("%preload-tool", "true ||")) |
