Changeset 23103

Timestamp:

2010-10-12T12:08:36+13:00 (14 years ago)

Author:

sjm84

Message:

Added the ability to change the dist name (e.g. linux, windows, java etc.)

File:

• gs2-extensions/gnome-lib/trunk/src/CASCADE-MAKE.sh (modified) (1 diff)

gs2-extensions/gnome-lib/trunk/src/CASCADE-MAKE.sh

@@ -15 +15 @@
 
 if [ $makedist = "1"  ] ; then
-  toplevel_make_dist
+  default_toplevel_make_dist $GSDLOS devel.bash
 fi