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" |
