GCC augmentation fixes
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:24:26 +0000 (20:24 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:24:26 +0000 (20:24 -0800)
commit456d3008b09c8c872861ece05dcf66c882b31f2e
tree46682d88cbe77a820c77306bea52bae8df9bdf85
parent5a8a954049c7c4e4bb2fe0ac241664aae1b1c822
parent750c1488b7205bb95eb1c7e044eb5dc732ac4659
GCC augmentation fixes
scripts/augment-gcc