From 055ef1ebb4392842ec3009f97213e947a20ab0ef Mon Sep 17 00:00:00 2001 From: pyllyukko Date: Wed, 5 Sep 2018 19:48:48 +0300 Subject: [PATCH] Fixed sourceprefs URLs in the Makefile * Fixes #410 * https://hg.mozilla.org/mozilla-central/rev/9a2ba1c7b0ec * https://hg.mozilla.org/mozilla-central/rev/24fc34c2bb34 --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index b1e4496..ec68613 100644 --- a/Makefile +++ b/Makefile @@ -42,18 +42,18 @@ FIREFOX_SOURCE_PREFS= \ https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/toolkit/components/telemetry/healthreport-prefs.js \ https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/security/manager/ssl/security-prefs.js \ https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/modules/libpref/init/all.js \ - https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/testing/profiles/prefs_general.js \ - https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/layout/tools/reftest/reftest-preferences.js \ + https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/testing/profiles/common/user.js \ + https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/testing/profiles/reftest/user.js \ https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/js/src/tests/user.js \ https://hg.mozilla.org/mozilla-central/raw-file/$(SOURCEVERSION)/browser/app/profile/firefox.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/devtools/client/preferences/debugger.js \ - https://hg.mozilla.org/mozilla-central/raw-file/tip/devtools/client/preferences/devtools.js \ + https://hg.mozilla.org/mozilla-central/raw-file/tip/devtools/client/preferences/devtools-client.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/branding/unofficial/pref/firefox-branding.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/branding/official/pref/firefox-branding.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/branding/nightly/pref/firefox-branding.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/branding/aurora/pref/firefox-branding.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/locales/en-US/firefox-l10n.js \ - https://hg.mozilla.org/mozilla-central/raw-file/tip/devtools/client/webide/webide-prefs.js \ + https://hg.mozilla.org/mozilla-central/raw-file/tip/devtools/client/webide/preferences/webide.js \ https://hg.mozilla.org/mozilla-central/raw-file/tip/browser/app/profile/channel-prefs.js sourceprefs.js: @for SOURCEFILE in $(FIREFOX_SOURCE_PREFS); do wget -nv "$$SOURCEFILE" -O - ; done | egrep "(^pref|^user_pref)" | sort --unique >| $@ -- 2.11.4.GIT