On 08/31/2012 01:44 PM, Akim Demaille wrote: > > Le 10 août 2012 à 13:10, Stefano Lattarini a écrit : > >> -## ------------------- ## >> -## Building site.exp. ## >> -## ------------------- ## >> - >> -## Note that in the rule we don't directly generate site.exp to avoid >> -## the possibility of a corrupted site.exp if make is interrupted. >> -## Jim Meyering has some useful text on this topic. >> +# Note that in the rule we don't directly generate site.exp to avoid >> +# the possibility of a corrupted site.exp if make is interrupted. >> +# Jim Meyering has some useful text on this topic. >> site.exp: Makefile $(EXTRA_DEJAGNU_SITE_CONFIG) > > The comment is, IMHO, superfluous today (who would write > such rules now?), and I would use $@ and $@-t for consistency. > Agreed, but is looow priority. Of course, patches are mostly welcome :-)
Stefano
