diff options
Diffstat (limited to 'devel/electron38/files/patch-third__party_ffmpeg_configure')
| -rw-r--r-- | devel/electron38/files/patch-third__party_ffmpeg_configure | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/electron38/files/patch-third__party_ffmpeg_configure b/devel/electron38/files/patch-third__party_ffmpeg_configure new file mode 100644 index 000000000000..478909a41adb --- /dev/null +++ b/devel/electron38/files/patch-third__party_ffmpeg_configure @@ -0,0 +1,13 @@ +--- third_party/ffmpeg/configure.orig 2025-08-26 20:49:50 UTC ++++ third_party/ffmpeg/configure +@@ -6914,8 +6914,8 @@ if ! disabled pthreads && ! enabled w32threads && ! en + if enabled pthread_np_h; then + hdrs="$hdrs pthread_np.h" + fi +- check_lib pthread_set_name_np "$hdrs" pthread_set_name_np -lpthread +- check_lib pthread_setname_np "$hdrs" pthread_setname_np -lpthread ++ check_lib pthread_set_name_np pthread_np.h pthread_set_name_np -lpthread ++ check_lib pthread_setname_np pthread_np.h pthread_setname_np -lpthread + fi + fi + |