File tree Expand file tree Collapse file tree 3 files changed +6
-37
lines changed Expand file tree Collapse file tree 3 files changed +6
-37
lines changed Original file line number Diff line number Diff line change @@ -18,7 +18,6 @@ gdb-python
1818grub2
1919host-jdks
2020libkdumpfile
21- make-jpkg
2221makedumpfile
2322masking
2423misc-debs
Original file line number Diff line number Diff line change @@ -23,12 +23,12 @@ UPSTREAM_GIT_URL="https://github.com/osandov/drgn.git"
2323UPSTREAM_GIT_BRANCH=" main"
2424
2525function 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
3232 logmust install_build_deps_from_control_file
3333}
3434
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments