Make runlex.sh quieter

Change-Id: I5a20493d1cca57ecb2487c443e9c0e20120fd711
Reviewed-on: https://code.wireshark.org/review/14575
Reviewed-by: João Valverde <j@v6e.pt>
This commit is contained in:
João Valverde 2016-02-28 23:12:20 +00:00 committed by João Valverde
parent b8ab3afc4a
commit eb09239bae
1 changed files with 6 additions and 6 deletions

View File

@ -107,7 +107,7 @@ done
#
# OK, run it.
#
echo "Running ${LEX} -o$outfile $flags $@"
#echo "Running ${LEX} -o$outfile $flags $@"
${LEX} -o"$outfile" $flags "$@"
#
@ -145,7 +145,7 @@ then
fi
fi
echo "Wrote $outfile"
echo "Wrote `basename $outfile`"
#
# OK, now let's generate a header file declaring the relevant functions
@ -162,7 +162,7 @@ echo "Wrote $outfile"
# Get the name of the prefix; scan the source files for a %option prefix
# line. We use the last one.
#
echo "Getting prefix"
#echo "Getting prefix"
prefix=`${SED} -n 's/%option[ ][ ]*prefix="\(.*\)".*/\1/p' "$@" | tail -1`
if [ ! -z "$prefix" ]
then
@ -172,13 +172,13 @@ fi
#
# Construct the name of the header file.
#
echo "Getting header file name"
#echo "Getting header file name"
header_file=`dirname "$outfile"`/`basename "$outfile" .c`_lex.h
#
# Spew out the declaration.
#
echo "Writing $header_file"
#echo "Writing $header_file"
cat <<EOF >$header_file
/* This is generated by runlex.sh. Do not edit it. */
$prefixline
@ -188,4 +188,4 @@ $prefixline
YY_DECL;
EOF
echo "Wrote $header_file"
echo "Wrote `basename $header_file`"