------- Comment #1 from pinskia at gcc dot gnu dot org 2008-07-09 22:31 ------- I think this is by design.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36779
[Bug other/36779] make pdf fails if done before another make
pinskia at gcc dot gnu dot org Wed, 09 Jul 2008 15:32:36 -0700
- [Bug other/36779] New: make pdf fails if d... hal at oz dot net
- [Bug other/36779] make pdf fails if do... pinskia at gcc dot gnu dot org
- [Bug other/36779] make pdf fails if do... hal at oz dot net
