Hi -
If you recall, scripts located under tapset/* are like libraries and
not mainline scripts people can run individually. This confusion is
biting several people. Short of some sort of mechanical enforcement,
do you think it would be worthwhile to put an additional header comment
into all our tapsets, near the copyright header (which they all should
have, hint hint):
/* This file is part of the tapset library. It is not meant for
direct execution, but only for implicit use by other scripts.
See test case <FILE> for an example. */
- FChE