Subject: Re: /etc/rc. use bsd.rc.mk instead.
To: Michael C. Richardson <firstname.lastname@example.org>
From: Julian Assange <email@example.com>
Date: 12/05/1999 17:44:12
"Michael C. Richardson" <firstname.lastname@example.org> writes:
> a) I don't want to actually run "make" on boot time.
That's not a reason.
> b) I don't want to be *forced* to make all dependancies if I
> want to restart something.
Make already provides a number of mechanims for forcing valid dependencies.
Additionally, the state of which dependencies are currently satisfied could
be saved -- in a long running maked, the environment, or in /var/run
> c) I don't mind running "make" when I update /etc/init.d,
> which means that everyline has "echo" in front it.
If you are talking about debugging, make has *extensive* debugging options.
Far, far better than what any sh implementation will provide.
Stefan Kahrs in [Kah96] discusses the
notion of completeness--programs which never go wrong can be
type-checked--which complements Milner's notion of
soundness--type-checked programs never go wrong [Mil78].