Subject: Re: /etc/rc. use instead.
To: Michael C. Richardson <>
From: Julian Assange <>
List: tech-userlevel
Date: 12/05/1999 17:44:12
"Michael C. Richardson" <> 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].