Bug #1078
makefile: ungraceful when interrupted
Description
It seems that interrupting the building of Makefile_dependencies gives the impression (to make) that the dependencies have been built.
Rectify!
History
#1
Updated by John Abbott almost 7 years ago
Updated by - Status changed from New to In Progress
- Assignee set to John Abbott
- % Done changed from 0 to 10
It seems that my first attempt does not work as hoped.
Now trying the obvious approach: create a Makefile_dependencies.new, and when this is complete move it to Makefile_dependencies.
The tricky part seems to be avoiding infinite recursion in make (without creating a second Makefile).
#2
Updated by John Abbott almost 7 years ago
- Status changed from In Progress to Feedback
- % Done changed from 10 to 90
- Estimated time set to 6.60 h
I have just checked in a version which seems to work correctly in my (few) tests.
A crucial feature is use of the -W flag to build Makefile_dependencies when the file does not exist.
It may need a little more tweaking to make it "perfect", but should work fairly well in its current form.
#3
Updated by John Abbott almost 7 years ago
- Target version changed from CoCoALib-1.0 to CoCoALib-0.99560
#4
Updated by John Abbott over 6 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
I have not really tested this (as I do not often interrupt a make, especially during the rebuilding of the dependencies files).
Closing anyway.