diff options
author | goodale <goodale@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 1999-03-09 18:20:51 +0000 |
---|---|---|
committer | goodale <goodale@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 1999-03-09 18:20:51 +0000 |
commit | b1b0495d2b3c22f9f548c8b995bf6ba32b397c64 (patch) | |
tree | 20d0d2ea13a5d0eceb75fa40e033e52bbe5dade2 /lib/make | |
parent | 751f8419dd9313a5894940061c0bee1be4eb7e8c (diff) |
Now the presence of old parameter header files won't confuse the system.
Note that the dependencies may not pick up that things now depend on a
different set of files, so it may still be necessery to do a gmake ..-clean
to force files to be rebuilt - e.g. changing all parameters from private
to protected won't be picked up by the current dependency checking
mechanism.
Tom
git-svn-id: http://svn.cactuscode.org/flesh/trunk@392 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'lib/make')
0 files changed, 0 insertions, 0 deletions