aboutsummaryrefslogtreecommitdiff
path: root/source/user/paul
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2016-07-08 15:43:25 -0400
committerRob Austein <sra@hactrn.net>2016-07-08 15:43:25 -0400
commitd7379e74ecf1f2479605c821a8f8471a12778250 (patch)
tree3ce7a6d9fe5194c62734eb8e93c5a0cc5d5a8723 /source/user/paul
parent0faf6a487bbab03030cf6f72ab369dbb743d1646 (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