Bruno Haible wrote:
Sam Steingold wrote:Therefore for now, this change is better limited to your project.OK, how about adding an --guard_prefix option? fixing the problem at the source (gnulib-tool) is much easier - just a few lines. fixing it inside clisp is a bigger task.Feel free to do it in your locally modified copy of gnulib-tool, for the moment. Doing this change in gnulib at this moment has a 20 times bigger risk.
what is the risk of a new --guard_prefix option?
