diff options
| -rw-r--r-- | build/genif.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/genif.sh b/build/genif.sh index dab0be0fac..e2bc6ac89d 100644 --- a/build/genif.sh +++ b/build/genif.sh @@ -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 |