Changeset 778 for trunk/debirf/fs/usr/bin/make-debirf

Timestamp:

Dec 11, 2007 12:54:07 AM (6 years ago)

Author:

jrollins

Message:

debirf: see changelog (moved to GPLv3)

File:

• trunk/debirf/fs/usr/bin/make-debirf (modified) (3 diffs)

trunk/debirf/fs/usr/bin/make-debirf

@@ -8 +8 @@
 # Daniel Kahn Gillmor <dkg-debian.org@fifthhorseman.net>.
 #
-# They are Copyright 2007, and are all released under the GPL, version 2
-# or later.
+# They are Copyright 2007, and are all released under the GPL,
+# version 3 or later.
 
 ###############################################################
@@ -29 +29 @@
 usage() {
     cat <<EOF
-Usage: $CMD [options] profile [kernel]
-Create a debirf system.  'profile' is a path to a debirf profile
-directory.  If a kernel is specified, it will override the kernel
-specified in the profile debirf.conf.
+Usage: $CMD [options] profile [kernel.deb]
+Create a debirf system.  The 'profile' is a path to a debirf profile
+directory.  If no kernel is specified, make-debirf will use the 
+latest kernel for the specified suite.  If a path to a kernel deb is 
+specified on the command line, that will be installed instead.
 
 options:
@@ -320 +321 @@
 if [ "$STAGE_ROOT" = 'true' ] ; then
 
-# check specified kernel package exists
+# check if specified kernel package exists
 if [ ! -f "$DEBIRF_KERNEL_PACKAGE" ] ; then
-    if apt-cache show "$DEBIRF_KERNEL_PACKAGE" > /dev/null ; then
-        echo "Using apt kernel package '$DEBIRF_KERNEL_PACKAGE'."
-    else
-        failure "Specified kernel package '$DEBIRF_KERNEL_PACKAGE' not found."
-    fi
-else
-    echo "Using deb kernel package '$DEBIRF_KERNEL_PACKAGE'."
+    failure "Kernel package '$DEBIRF_KERNEL_PACKAGE' not found."
 fi