1529403 (cont'd) dev.sh:clean "build artifacts"; setup: actual timestamps

Authored and Committed by jpokorny 13 years ago
    (cont'd) dev.sh:clean "build artifacts"; setup: actual timestamps
    
    - previously if you changed a parameter that was then used for
      substitution in some file, this file got the same timestamp
      as the original input file and thus this newer version of complete
      file was not copied over the old one -- this is solved simply by not
      letting generated file from input file to derive timestamp of this
      input file
    
        
file modified
+25 -18
file modified
+4 -3