Another case where we need to fix an include path for a generated file in the script...
authorSteve Reinhardt <stever@eecs.umich.edu>
Tue, 14 Oct 2003 04:52:42 +0000 (21:52 -0700)
committerSteve Reinhardt <stever@eecs.umich.edu>
Tue, 14 Oct 2003 04:52:42 +0000 (21:52 -0700)
commit00f8ea4576abd32ac94549d1aebeeb70e9997ca6
tree2dffaf78cf3ac15d81c868588bcd472df777460c
parent75e54605795dc02d999a2d29f5c2f100f428625b
Another case where we need to fix an include path for a generated file in the script that generates it.

--HG--
extra : convert_revision : 85d399aa6acb7a200b9bdce42a5fdecbd88d6ef0