Path: utzoo!utgpu!watmath!uunet!tut.cis.ohio-state.edu!WHEATIES.AI.MIT.EDU!rms
From: rms@WHEATIES.AI.MIT.EDU (Richard Stallman)
Newsgroups: gnu.utils.bug
Subject: Make bug
Message-ID: <8811151833.AA00739@sugar-bombs.ai.mit.edu>
Date: 15 Nov 88 18:33:23 GMT
Sender: daemon@tut.cis.ohio-state.edu
Distribution: gnu
Organization: GNUs Not Usenet
Lines: 9

Using version 3.17, I changed the file rtl.c of GCC and recompiled.
That worked, and in accordance with the makefile the files
insn-*.[ch] were not touched because the contents were unchanged.

Then I did `make -t cc1'.  This should have touched those files and
many .o files that depend on them, and cc1 itself.  Instead, it
touched only the insn-*.[ch] files.  I did `make -t cc1' again;
this time it touched only the .o files.  The third `make -t cc1'
touched cc1.