diff options
Diffstat (limited to 'libgomp/configure')
-rwxr-xr-x | libgomp/configure | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libgomp/configure b/libgomp/configure index 1410bc7..d34a350 100755 --- a/libgomp/configure +++ b/libgomp/configure @@ -15323,6 +15323,7 @@ if test x"$enable_offload_targets" != x; then for tgt in `echo $enable_offload_targets | sed -e 's#,# #g'`; do tgt_dir=`echo $tgt | grep '=' | sed 's/.*=//'` tgt=`echo $tgt | sed 's/=.*//'` + tgt_name= case $tgt in *-intelmic-* | *-intelmicemul-*) tgt_name=intelmic @@ -15424,7 +15425,11 @@ rm -f core conftest.err conftest.$ac_objext \ as_fn_error "unknown offload target specified" "$LINENO" 5 ;; esac - if test x"$offload_targets" = x; then + if test x"$tgt_name" = x; then + # Don't configure libgomp for this offloading target if we don't build + # the corresponding plugin. + continue + elif test x"$offload_targets" = x; then offload_targets=$tgt_name else offload_targets=$offload_targets,$tgt_name |