wok diff db/receipt @ rev 13754

Set the new kernel as default one in grub & Add 'quiet' as boot option becaus it's the default on fresh hdd install.
author: border
date: Wed Jan 02 23:24:27 2013 -0500 (2013-01-02)
parents: 65940fb0441b
children: 6c3718ca17b6
     1.1 --- a/db/receipt	Mon Jun 04 00:47:21 2012 +0200
     1.2 +++ b/db/receipt	Wed Jan 02 23:24:27 2013 -0500
     1.3 @@ -20,6 +20,7 @@
     1.4  	cd $src/build_unix
     1.5  	../dist/configure \
     1.6  		--enable-compat185 \
     1.7 +		--enable-dbm \
     1.8  		$CONFIGURE_ARGS &&
     1.9  	make &&	make install
    1.10  }