diff options
| -rw-r--r-- | lib/replace/wscript | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript index 45e5d908456..483c0dcec86 100644 --- a/lib/replace/wscript +++ b/lib/replace/wscript @@ -449,8 +449,9 @@ removeea setea PTHREAD_LDFLAGS='-lpthread' if PTHREAD_CFLAGS != 'error' and PTHREAD_LDFLAGS != 'error': - conf.ADD_CFLAGS(PTHREAD_CFLAGS) - conf.ADD_LDFLAGS(PTHREAD_LDFLAGS) + if conf.CONFIG_SET('replace_add_global_pthread'): + conf.ADD_CFLAGS(PTHREAD_CFLAGS) + conf.ADD_LDFLAGS(PTHREAD_LDFLAGS) conf.CHECK_HEADERS('pthread.h') conf.DEFINE('HAVE_PTHREAD', '1') |