Bug#627789: Postscript

2011-05-25 Thread Simon Kelley
Thomas Hood wrote: > P.S. > > The patched script updates the mtime by doing: > > echo "" >> "$TMP_FILE" > > This is less than idea, since it adds a useless CR > to the end of the file. I tried: > > : >> "$TMP_FILE" > > which doesn't add anything to the file, but this failed > to chang

Bug#627789: Postscript

2011-05-24 Thread Thomas Hood
P.S. The patched script updates the mtime by doing: echo "" >> "$TMP_FILE" This is less than idea, since it adds a useless CR to the end of the file. I tried: : >> "$TMP_FILE" which doesn't add anything to the file, but this failed to change the mtime. Perhaps you can think of someth