Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!brl-adm!adm!Schauble@MIT-MULTICS.arpa From: Schauble@MIT-MULTICS.arpa (Paul Schauble) Newsgroups: comp.unix.questions Subject: MAKE checking archive files? Message-ID: <5398@brl-adm.ARPA> Date: Mon, 23-Mar-87 05:14:26 EST Article-I.D.: brl-adm.5398 Posted: Mon Mar 23 05:14:26 1987 Date-Received: Tue, 24-Mar-87 04:22:56 EST Sender: news@brl-adm.ARPA Lines: 13 Is there a version of make circulating that is capable of checking the times on individual elements within archives such as those produced by ar or within object libraries. For example, if I keep an object library and keep the corresponding sources within an a .ar file, is there a make that can do the usual date-time processing without exploding the .ar and the object library? Please copy me directly on any responses. I'll summarize to the list if I get anything interesting. thanks, Paul Schauble at MIT-Multics.edu