tree bd7dc1273e5a21ae01d1fe0c570395299a0701a7
parent 59bb4a4f50c6f0cd1d9d65f60715f35f99076e9b
author Denis Vlasenko <vda.linux@googlemail.com> 1202888857 -0000
committer Denis Vlasenko <vda.linux@googlemail.com> 1202888857 -0000

build system: don't use -o /dev/null, old gcc can delete /dev/null!