Merge pull request #8 from tony2guo/bindeb-pkg

Use bindeb-pkg instead of deb-pkg
2b-t · Dec 15, 2024 · 358a60b · 358a60b
2 parents 3dbf898 + 7724c6e
commit 358a60b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/PreemptRt.md b/doc/PreemptRt.md
@@ -250,7 +250,7 @@ Now it is time to build the kernel:
   ```shell
   $ make clean # Optional to remove old relicts (from previously failed compilations)
   # The following command might take very long!
-  $ sudo make -j$(nproc) deb-pkg
+  $ sudo make -j$(nproc) bindeb-pkg
   ```
 
   where the [`revision` parameter is just for keeping track of the version number of your kernel builds](https://www.debian.org/releases/wheezy/amd64/ch08s06.html.en) and can be changed at will, similarly for the `custom` word.

diff --git a/src/lib_compile_kernel.sh b/src/lib_compile_kernel.sh
@@ -219,7 +219,7 @@ function select_installation_mode() {
 
 function generate_preemptrt_kernel_debian_package() {
   declare desc="Generate Debian package for easier installation and uninstallation"
-  sudo make -j$(nproc) deb-pkg
+  sudo make -j$(nproc) bindeb-pkg
 }
 
 function select_install_now() {