mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-08 10:44:56 +00:00
Backed out changeset 48a74b8750b4 (bug 1403366)
This commit is contained in:
parent
3ef5cd05b4
commit
863d9030ca
@ -243,6 +243,7 @@ def old_configure_options(*options):
|
||||
'--with-branding',
|
||||
'--with-cross-lib',
|
||||
'--with-debug-label',
|
||||
'--with-default-mozilla-five-home',
|
||||
'--with-distribution-id',
|
||||
'--with-doc-include-dirs',
|
||||
'--with-doc-input-dirs',
|
||||
|
@ -4057,6 +4057,15 @@ dnl =
|
||||
dnl ========================================================
|
||||
MOZ_ARG_HEADER(Misc. Options)
|
||||
|
||||
dnl ========================================================
|
||||
dnl = Define default location for MOZILLA_FIVE_HOME
|
||||
dnl ========================================================
|
||||
MOZ_ARG_WITH_STRING(default-mozilla-five-home,
|
||||
[ --with-default-mozilla-five-home
|
||||
Set the default value for MOZILLA_FIVE_HOME],
|
||||
[ val=`echo $withval`
|
||||
AC_DEFINE_UNQUOTED(MOZ_DEFAULT_MOZILLA_FIVE_HOME,"$val") ])
|
||||
|
||||
dnl ========================================================
|
||||
dnl = Location of the mozilla user directory (default is ~/.mozilla).],
|
||||
dnl ========================================================
|
||||
|
Loading…
Reference in New Issue
Block a user