]> granicus.if.org Git - php/commitdiff
here string isn't supported by every shell
authorAnatol Belski <ab@php.net>
Fri, 21 Aug 2015 17:11:53 +0000 (19:11 +0200)
committerAnatol Belski <ab@php.net>
Fri, 21 Aug 2015 17:11:53 +0000 (19:11 +0200)
build/genif.sh

index dab0be0fac7ef44df89ed0ac70243986f428f900..e2bc6ac89d9bf932ced30f19ffa77b963d03f23d 100644 (file)
@@ -24,7 +24,7 @@ cd $srcdir
 module_ptrs="$extra_module_ptrs`echo $@ | $awk -f ./build/order_by_dep.awk`"
 
 for ext in ${1+"$@"} ; do
-       ext_dir=`cut -d ';' -f 2 <<< "$ext"`
+       ext_dir=`echo "$ext" | cut -d ';' -f 2`
        header_list="$header_list $ext_dir/*.h*"
 done