diff options
author | Rob Austein <sra@hactrn.net> | 2016-07-08 15:43:25 -0400 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-07-08 15:43:25 -0400 |
commit | d7379e74ecf1f2479605c821a8f8471a12778250 (patch) | |
tree | 3ce7a6d9fe5194c62734eb8e93c5a0cc5d5a8723 /source/user/paul | |
parent | 0faf6a487bbab03030cf6f72ab369dbb743d1646 (diff) |
Ignore tap/ for now.
In the long run, we should do a better job of cleaning as we go, but
it's a bit tricky to do this without unnecessarily regenerating things
that haven't changed (particularly bitstreams). Probably requires
minor refactoring of the Makefile rules, perhaps with a holding pen
for things (like bitstreams) that we really do not want to regenerate
unless something has changed.
The current compromise is ugly in places, but works well enough, so
this is not a high priority.
Diffstat (limited to 'source/user/paul')
0 files changed, 0 insertions, 0 deletions