Module Name: src Committed By: christos Date: Fri Jan 6 17:26:41 UTC 2017
Modified Files:
src/external/bsd/flex: Makefile.inc
Log Message:
get the right version even for the tools build.
To generate a diff of this commit:
cvs rdiff -u -r1.5 -r1.6 src/external/bsd/flex/Makefile.inc
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
