diff options
| author | Masahiro Yamada <[email protected]> | 2023-12-26 22:52:42 +0900 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2024-01-05 19:35:38 +0900 |
| commit | 68e262f8017d7fa5a9ea1ef21cbaa0fd5334ecd5 (patch) | |
| tree | 13f49c2ba318dc19c2dddfc6de9aa3aa8da03b97 /scripts/gdb/linux/page_owner.py | |
| parent | eaf80f7f2c9c5f08d76858ec32addfcfe64ce58e (diff) | |
kbuild: deb-pkg: remove unneeded '-f $srctree/Makefile' in debian/rules
This is unneeded because the Makefile in the output directory wraps
the top-level Makefile in the srctree.
Just run $(MAKE) irrespective of the build location.
Signed-off-by: Masahiro Yamada <[email protected]>
Reviewed-by: Nicolas Schier <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/page_owner.py')
0 files changed, 0 insertions, 0 deletions