wok-next diff db/receipt @ rev 13797

Create grub entry based on current root partition. Fix bug78
author: border
date: Sat Jan 05 12:34:10 2013 -0500 (2013-01-05)
parents: 65940fb0441b
children: 6c3718ca17b6
     1.1 --- a/db/receipt	Mon Jun 04 00:47:21 2012 +0200
     1.2 +++ b/db/receipt	Sat Jan 05 12:34:10 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  }