Browse Source

fix Linux builds

Bill Gianopoulos 3 years ago
parent
commit
b744d101c5

+ 1 - 1
frg-buildfixes/mozilla/1452509-4-61a1.patch

@@ -91,7 +91,7 @@ diff --git a/toolkit/moz.configure b/toolkit/moz.configure
 +# ==============================================================
 +@depends(target)
 +def pulseaudio_default(target):
-+    return target.os not in ('WINNT', 'OSX', 'iOS', 'Android', 'OpenBSD')
++    return target.os not in ('WINNT', 'OSX', 'Android', 'OpenBSD')
 +
 +option('--enable-pulseaudio', env='MOZ_PULSEAUDIO', default=pulseaudio_default,
 +       help='Enable PulseAudio audio backend.')

+ 1 - 1
frg-buildfixes/mozilla/1492716-2-65a1.patch

@@ -332,7 +332,7 @@ diff --git a/toolkit/moz.configure b/toolkit/moz.configure
  # ==============================================================
  @depends(target)
  def pulseaudio_default(target):
-     return target.os not in ('WINNT', 'OSX', 'iOS', 'Android', 'OpenBSD')
+     return target.os not in ('WINNT', 'OSX', 'Android', 'OpenBSD')
  
  option('--enable-pulseaudio', env='MOZ_PULSEAUDIO', default=pulseaudio_default,
 -       help='Enable PulseAudio audio backend.')