Il 19/03/2012 13:32, Paolo Carlini ha scritto: >>>> Should the addition be \$$ to escape it for the shell as well as for >>>> make? >>>> (I know it works, but that might not be true for all shells.) >>> i don't think that $, could be expaneded by any shell. >> I'm not worried about it not expanding, but rather being rejected as >> invalid syntax - but maybe it's fine. It certainly works OK with bash >> and ksh. > Thus, are we going to apply the patch? Maybe Paolo can double check the > sed detail.
I think \$$ is better. Besides that it looks good. Paolo
