diff options
| -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`" |