diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index b3ccccbb881..254f7e0eb85 100755 --- a/configure +++ b/configure @@ -5954,7 +5954,7 @@ _ACEOF if test "${with_clang_default_openmp_runtime+set}" = set; then withval=$with_clang_default_openmp_runtime; else - withval="" + withval="libgomp" fi |