17 |
ac_add_options --enable-pulseaudio |
ac_add_options --enable-pulseaudio |
18 |
ac_add_options --with-system-icu |
ac_add_options --with-system-icu |
19 |
ac_add_options --with-mozilla-api-keyfile=../mozilla-api-key |
ac_add_options --with-mozilla-api-keyfile=../mozilla-api-key |
20 |
ac_add_options --with-google-api-keyfile=../google-api-key |
ac_add_options --with-google-location-service-api-keyfile=../google-api-key |
21 |
|
ac_add_options --with-google-safebrowsing-api-keyfile=../google-api-key |
22 |
ac_add_options --enable-release |
ac_add_options --enable-release |
23 |
ac_add_options --enable-pie |
ac_add_options --enable-pie |
24 |
# Workaround for mozbz#1341234 |
# Workaround for mozbz#1341234 |