|
|
|
|
|
by pphysch
1053 days ago
|
|
> But if you want to make even a single tiny modification to one of the generated files, you're busted, you need a different solution. Not totally true, if you can robustly express your tiny change as a `sed` or `awk` script, you can just append to the generator pipeline. Speaking from experience, do not condone, etc. |
|
Modifying the generator itself to do something different every time, and doing GP's stated "regenerate and throw away the old stuff" is in line