diff options
Diffstat (limited to 'devel/electron35/files/patch-third__party_ffmpeg_configure')
| -rw-r--r-- | devel/electron35/files/patch-third__party_ffmpeg_configure | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/devel/electron35/files/patch-third__party_ffmpeg_configure b/devel/electron35/files/patch-third__party_ffmpeg_configure deleted file mode 100644 index ca803aeda3a7..000000000000 --- a/devel/electron35/files/patch-third__party_ffmpeg_configure +++ /dev/null @@ -1,13 +0,0 @@ ---- third_party/ffmpeg/configure.orig 2025-03-24 20:50:14 UTC -+++ third_party/ffmpeg/configure -@@ -6850,8 +6850,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 - |