mirror of
https://github.com/php/php-src.git
synced 2024-09-21 09:57:23 +00:00
Write configuration parameters into `config.nice', so you can redo the
same configuration with exactly one command.
This commit is contained in:
parent
bd418f0741
commit
77fb7d2b64
16
acinclude.m4
16
acinclude.m4
@ -1,6 +1,22 @@
|
||||
dnl $Id$
|
||||
dnl
|
||||
dnl This file contains local autoconf functions.
|
||||
|
||||
AC_DEFUN(PHP_CONFIG_NICE,[
|
||||
rm -f $1
|
||||
cat >$1<<EOF
|
||||
#! /bin/sh
|
||||
#
|
||||
# Created by configure
|
||||
|
||||
EOF
|
||||
|
||||
for arg in [$]0 "[$]@"; do
|
||||
echo "\"[$]arg\" \\" >> $1
|
||||
done
|
||||
echo '"[$]@"' >> $1
|
||||
chmod +x $1
|
||||
])
|
||||
|
||||
AC_DEFUN(PHP_TIME_R_TYPE,[
|
||||
AC_CACHE_CHECK(for time_r type, ac_cv_time_r_type,[
|
||||
|
@ -23,8 +23,9 @@ fi
|
||||
|
||||
cwd=`pwd`
|
||||
|
||||
CONFIGURE_COMMAND=$0
|
||||
for arg in "$@"; do
|
||||
PHP_CONFIG_NICE(config.nice)
|
||||
|
||||
for arg in $0 "$@"; do
|
||||
CONFIGURE_COMMAND="$CONFIGURE_COMMAND '$arg'"
|
||||
done
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user