diff options
-rw-r--r-- | build/make/configure.sh | 2 | ||||
-rwxr-xr-x | configure | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index 876255bfe..c4e3b5141 100644 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -1491,7 +1491,7 @@ EOF # bionic includes basic pthread functionality, obviating -lpthread. ;; *) - check_header pthread.h && check_lib -lpthread <<EOF && enable_feature pthread_h && add_extralibs -lpthread + check_header pthread.h && check_lib -lpthread <<EOF && add_extralibs -lpthread || disable_feature pthread_h #include <pthread.h> #include <stddef.h> int main(void) { return pthread_create(NULL, NULL, NULL, NULL); } @@ -585,7 +585,7 @@ EOF # Use both check_header and check_lib here, since check_lib # could be a stub that always returns true. - check_header pthread.h && check_lib -lpthread <<EOF && enable_feature pthread_h + check_header pthread.h && check_lib -lpthread <<EOF || disable_feature pthread_h #include <pthread.h> #include <stddef.h> int main(void) { return pthread_create(NULL, NULL, NULL, NULL); } |