source: vbox@ 8072

Name	Size	Rev	Age	Author	Last Change
trunk		8072	17 years	vboxsync	Check that i386-elf-gcc* is around to prevent trouble when op.o fails …

Note: See TracBrowser for help on using the repository browser.