configure: allow configuring BATCHNUM

This commit is contained in:
cathugger
2019-02-13 21:02:06 +00:00
parent 0befa419b1
commit 02137f7ed4

View File

@@ -158,6 +158,16 @@ then
MYDEFS="$MYDEFS -DINTFILTER -DIFT='$intfiltertype'" MYDEFS="$MYDEFS -DINTFILTER -DIFT='$intfiltertype'"
fi fi
AC_ARG_ENABLE([batchnum],
[AS_HELP_STRING([--enable-batchnum=number],
[number of elements to batch when using -B @<:@default=2048@:>@])],
[], []
)
if test -n "$enable_batchnum" -a x"$enable_batchnum" != x"no"
then
MYDEFS="$MYDEFS -DBATCHNUM=$enable_batchnum"
fi
cstd="" cstd=""
c99="" c99=""
oldcflags="$CFLAGS" oldcflags="$CFLAGS"