diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2016-02-28 23:12:20 +0000 |
|---|---|---|
| committer | João Valverde <j@v6e.pt> | 2016-03-23 00:40:18 +0000 |
| commit | eb09239bae2b680da2ad9002e6f490b0722c69fd (patch) | |
| tree | 4d4be88dbcab68a7fc4458365091beaa4293784d /tools | |
| parent | b8ab3afc4a84c1aa60ebab92645053197038f13a (diff) | |
Make runlex.sh quieter
Change-Id: I5a20493d1cca57ecb2487c443e9c0e20120fd711
Reviewed-on: https://code.wireshark.org/review/14575
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/runlex.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/runlex.sh b/tools/runlex.sh index 3763232882..0592acb318 100755 --- a/tools/runlex.sh +++ b/tools/runlex.sh @@ -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`" |