mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
parent
38be1dbbba
commit
56b2eccb6b
1 changed files with 1 additions and 0 deletions
1
configure
vendored
1
configure
vendored
|
@ -686,6 +686,7 @@ do
|
|||
CONFIGURE_SCRIPT="${CFG_SRC_DIR}src/${i}/autogen.sh"
|
||||
CONFIGURE_ARGS="${CONFIGURE_ARGS} --sysconfdir=/etc"
|
||||
CONFIGURE_ARGS="${CONFIGURE_ARGS} --localstatedir=/var"
|
||||
CONFIGURE_ARGS="${CONFIGURE_ARGS} --disable-docs"
|
||||
CONFIGURE_ARGS="${CONFIGURE_ARGS} --disable-shared" # work around Rust #12557
|
||||
if [ -f /etc/redhat-release ]; then
|
||||
# Some RedHat-based distros (including our CentOS 6 build machines) are missing
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue