-
Ross Paterson authored
Make -t option to the script override the template file, just as -c overrides the compiler, as the the documentation implies. (Formerly -t added an extra template file, which is not so useful.)
371b4d98
Make -t option to the script override the template file, just as -c overrides the compiler, as the the documentation implies. (Formerly -t added an extra template file, which is not so useful.)