On Sun, Nov 16, 2003 at 11:39:05AM +0100, Jan Nieuwenhuizen wrote:
Is there an easy way to show what configure options were used when a .deb binary was built, are build logs archived, eg? That is, easier than apt-get --download source and the parse debian/rules?
Case at hand: the GRUB info doc refers to --enable-preset-menu=FILE, and I wonder if this option was set and if so, what value was used.
Each package description page at debian.org links to the 'developer information for <package>' (down right side) which in turn, among other things, links to 'Buildd logs' (down left side at 'Other links').
There aren't all the logs there, but in your case I can derive this particular option wasn't set at all, see http://buildd.debian.org/build.php?pkg=grub
Cheers, Flo
pgp00000.pgp
Description: PGP signature
