diff options
-rw-r--r-- | scripts/package/builddeb | 28 |
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 | |||
73 | EOF | 73 | EOF |
74 | 74 | ||
75 | # Generate a control file | 75 | # Generate a control file |
76 | if [ "$ARCH" == "um" ]; then | ||
77 | |||
78 | cat <<EOF > debian/control | ||
79 | Source: linux | ||
80 | Section: base | ||
81 | Priority: optional | ||
82 | Maintainer: $name | ||
83 | Standards-Version: 3.6.1 | ||
84 | |||
85 | Package: $packagename | ||
86 | Architecture: any | ||
87 | Description: 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 | ||
96 | EOF | ||
97 | |||
98 | else | ||
76 | cat <<EOF > debian/control | 99 | cat <<EOF > debian/control |
77 | Source: linux | 100 | Source: linux |
78 | Section: base | 101 | Section: base |
@@ -82,10 +105,11 @@ Standards-Version: 3.6.1 | |||
82 | 105 | ||
83 | Package: $packagename | 106 | Package: $packagename |
84 | Architecture: any | 107 | Architecture: any |
85 | Description: Linux kernel, version $packagename | 108 | Description: 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 |
88 | EOF | 111 | EOF |
112 | fi | ||
89 | 113 | ||
90 | # Fix some ownership and permissions | 114 | # Fix some ownership and permissions |
91 | chown -R root:root "$tmpdir" | 115 | chown -R root:root "$tmpdir" |