|
From: <ls...@us...> - 2011-08-16 20:43:39
|
Revision: 5847
http://jnode.svn.sourceforge.net/jnode/?rev=5847&view=rev
Author: lsantha
Date: 2011-08-16 20:43:33 +0000 (Tue, 16 Aug 2011)
Log Message:
-----------
Customizing the GRUB menu for JNode CD image.
Modified Paths:
--------------
trunk/jnode.properties.dist
Modified: trunk/jnode.properties.dist
===================================================================
--- trunk/jnode.properties.dist 2011-08-16 20:19:43 UTC (rev 5846)
+++ trunk/jnode.properties.dist 2011-08-16 20:43:33 UTC (rev 5847)
@@ -10,6 +10,9 @@
# if you have custom initjars to build.
# custom.plugin-list.dir = ${root.dir}/local/plugin-lists/
+# Custom GRUB menu for JNode CD image
+#grub.menu.cdrom=${root.dir}/local/menu-cdrom.lst
+
# Uncomment this property if you do not want the default initjars to be build.
# no.default.initjars = 1
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|