diff options
Diffstat (limited to 'devel/electron37/files/patch-third__party_ffmpeg_configure')
| -rw-r--r-- | devel/electron37/files/patch-third__party_ffmpeg_configure | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/electron37/files/patch-third__party_ffmpeg_configure b/devel/electron37/files/patch-third__party_ffmpeg_configure new file mode 100644 index 000000000000..3ce1e49d195c --- /dev/null +++ b/devel/electron37/files/patch-third__party_ffmpeg_configure @@ -0,0 +1,13 @@ +--- third_party/ffmpeg/configure.orig 2025-06-30 07:04:30 UTC ++++ third_party/ffmpeg/configure +@@ -6885,8 +6885,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 + |