diff options
author | Leah Rowe <leah@libreboot.org> | 2025-05-22 01:17:27 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2025-05-22 01:17:27 +0100 |
commit | a3250d144744e77b6a0d0f7cf011ecc6800edaaf (patch) | |
tree | 9d38eb22e326a09b5f950b4fa05547e100cf2a5f /include/tree.sh | |
parent | 24b8e633e0348d60dc7d64a919605e69f6ef0379 (diff) |
tree.sh: Don't run make-clean on dry runs
Otherwise, ./mk -d (without arguments) fails for GRUB,
which first requires running autoconf to get a Makefile.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/tree.sh')
-rw-r--r-- | include/tree.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/tree.sh b/include/tree.sh index 8d787d4c..83887864 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -275,7 +275,8 @@ elfcheck() handle_makefile() { - $dry check_makefile "$srcdir" && x_ make -C "$srcdir" $cleanargs clean + $dry check_makefile "$srcdir" && \ + $dry x_ make -C "$srcdir" $cleanargs clean [ -f "$defconfig" ] && x_ cp "$defconfig" "$srcdir/.config" [ -n "$mode" ] || [ -n "$btype" ] || $dry make -C \ |