aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--scripts/package/builddeb28
1 files changed, 26 insertions, 2 deletions
diff --git a/scripts/package/builddeb b/scripts/package/builddeb
index bec1a10174ec..7edd4a095902 100644
--- a/scripts/package/builddeb
+++ b/scripts/package/builddeb
@@ -73,6 +73,29 @@ linux ($version) unstable; urgency=low
73EOF 73EOF
74 74
75# Generate a control file 75# Generate a control file
76if [ "$ARCH" == "um" ]; then
77
78cat <<EOF > debian/control
79Source: linux
80Section: base
81Priority: optional
82Maintainer: $name
83Standards-Version: 3.6.1
84
85Package: $packagename
86Architecture: any
87Description: User Mode Linux kernel, version $version
88 User-mode Linux is a port of the Linux kernel to its own system call
89 interface. It provides a kind of virtual machine, which runs Linux
90 as a user process under another Linux kernel. This is useful for
91 kernel development, sandboxes, jails, experimentation, and
92 many other things.
93 .
94 This package contains the Linux kernel, modules and corresponding other
95 files version $version
96EOF
97
98else
76cat <<EOF > debian/control 99cat <<EOF > debian/control
77Source: linux 100Source: linux
78Section: base 101Section: base
@@ -82,10 +105,11 @@ Standards-Version: 3.6.1
82 105
83Package: $packagename 106Package: $packagename
84Architecture: any 107Architecture: any
85Description: Linux kernel, version $packagename 108Description: Linux kernel, version $version
86 This package contains the Linux kernel, modules and corresponding other 109 This package contains the Linux kernel, modules and corresponding other
87 files version $packagename 110 files version $version
88EOF 111EOF
112fi
89 113
90# Fix some ownership and permissions 114# Fix some ownership and permissions
91chown -R root:root "$tmpdir" 115chown -R root:root "$tmpdir"