mirror of
https://github.com/php/php-src.git
synced 2024-11-24 02:15:04 +08:00
Remove unnecessary second cat invocation
This commit is contained in:
parent
bd593d3da6
commit
438e9bdc93
@ -23,7 +23,7 @@
|
||||
# EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
#
|
||||
##############################################################################
|
||||
# $Id: fastgen.sh,v 1.6 2000-05-12 07:37:42 sas Exp $
|
||||
# $Id: fastgen.sh,v 1.7 2000-06-11 10:33:39 sas Exp $
|
||||
#
|
||||
|
||||
srcdir=$1
|
||||
@ -43,19 +43,16 @@ fi
|
||||
|
||||
for makefile in $@; do
|
||||
echo "creating $makefile"
|
||||
# portable dirname
|
||||
dir=`echo $makefile|sed 's%/*[^/][^/]*$%%'`
|
||||
$mkdir_p "$dir/"
|
||||
|
||||
(cat <<EOF
|
||||
cat - $top_srcdir/$makefile.in <<EOF >$makefile
|
||||
top_srcdir = $top_srcdir
|
||||
top_builddir = $top_builddir
|
||||
srcdir = $top_srcdir/$dir
|
||||
builddir = $top_builddir/$dir
|
||||
VPATH = $top_srcdir/$dir
|
||||
EOF
|
||||
)| cat - $top_srcdir/$makefile.in > $makefile
|
||||
|
||||
test -z "$dir" || touch $dir/.deps
|
||||
|
||||
done
|
||||
|
Loading…
Reference in New Issue
Block a user