#! /bin/sh
: ${TMPDIR:=/tmp}
{ TMPFILE="`mktemp $TMPDIR/pipsize.XXXXXX 2>/dev/null`"; } 2>/dev/null
used_mktemp=true
if [ -z "$TMPFILE" ]; then
TMPNAME=pipsize.$$
TMPFILE=$TMPDIR/$TMPNAME
used_mktemp=false
fi
trap 'rm -f "$TMPFILE" ; exit 1' 1 2 3 6 15
trap 'rm -f "$TMPFILE"' 0
echo "/*"
echo " * pipesize.h"
echo " *"
echo " * This file is automatically generated by psize.sh"
echo " * Do not edit!"
echo " */"
echo ""
$used_mktemp || rm -f "$TMPFILE"
./psize.aux 2>"$TMPFILE" | sleep 3
if [ -s "$TMPFILE" ]; then
echo "#define PIPESIZE `cat "$TMPFILE"`"
else
echo "#define PIPESIZE 512"
fi
exit 0