diff options
Diffstat (limited to 'devel/electron33/files/patch-third__party_ffmpeg_configure')
| -rw-r--r-- | devel/electron33/files/patch-third__party_ffmpeg_configure | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/devel/electron33/files/patch-third__party_ffmpeg_configure b/devel/electron33/files/patch-third__party_ffmpeg_configure deleted file mode 100644 index f552d4683989..000000000000 --- a/devel/electron33/files/patch-third__party_ffmpeg_configure +++ /dev/null @@ -1,13 +0,0 @@ ---- third_party/ffmpeg/configure.orig 2024-08-14 20:56:40 UTC -+++ third_party/ffmpeg/configure -@@ -6818,8 +6818,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 - |