File tree 3 files changed +6
-37
lines changed
3 files changed +6
-37
lines changed Original file line number Diff line number Diff line change @@ -18,7 +18,6 @@ gdb-python
18
18
grub2
19
19
host-jdks
20
20
libkdumpfile
21
- make-jpkg
22
21
makedumpfile
23
22
masking
24
23
misc-debs
Original file line number Diff line number Diff line change @@ -23,12 +23,12 @@ UPSTREAM_GIT_URL="https://github.com/osandov/drgn.git"
23
23
UPSTREAM_GIT_BRANCH=" main"
24
24
25
25
function prepare() {
26
- #
27
- # Strictly speaking libkdumpfile is not a hard prerequisite for
28
- # drgn itself, but it is a hard requirement in our use-case as
29
- # we do want to use drgn for kdump-compressed crash dumps.
30
- #
31
- logmust install_pkgs " $DEPDIR " /libkdumpfile/* .deb
26
+ #
27
+ # Strictly speaking libkdumpfile is not a hard prerequisite for
28
+ # drgn itself, but it is a hard requirement in our use-case as
29
+ # we do want to use drgn for kdump-compressed crash dumps.
30
+ #
31
+ logmust install_pkgs " $DEPDIR " /libkdumpfile/* .deb
32
32
logmust install_build_deps_from_control_file
33
33
}
34
34
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments