timestamps of OBJS.* would not get checked after STAMP.* get
updated, even though OBJS.* get updated as a side effect.
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@9833
dc483132-0cff-0310-8789-
dd5450dbe970
+Sun Feb 9 13:43:42 1997 Tom Yu <tlyu@mit.edu>
+
+ * libobj.in (OBJS.*): Work around a gmake optimization where the
+ timestamps of OBJS.* would not get checked after STAMP.* get
+ updated, even though OBJS.* get updated as a side effect.
+
Fri Feb 7 08:44:32 1997 Richard Basch <basch@lehman.com>
* windows.in: Compile win16 non-DLL objects with /GA to add the
# The "STAMP.*" files are there in case the object list happens to be
# empty.
OBJS.ST: STAMP.ST
+ touch $@
STAMP.ST: $(STLIBOBJS)
@echo $(STLIBOBJS) > OBJS.ST
touch $@
OBJS.SH: STAMP.SH
+ touch $@
STAMP.SH: $(SHLIBOBJS)
@echo $(SHLIBOBJS) > OBJS.SH
touch $@
OBJS.PF: STAMP.PF
+ touch $@
STAMP.PF: $(PFLIBOBJS)
@echo $(PFLIBOBJS) > OBJS.PF
touch $@