diff options
| -rwxr-xr-x | script/trees | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/trees b/script/trees index ee3d2ee0..306f189f 100755 --- a/script/trees +++ b/script/trees @@ -37,7 +37,9 @@ main() -m) mode="menuconfig" ;; -c) mode="distclean" ;; -x) mode="crossgcc-clean" ;; - -f) do_make="n" ;; + -f) + do_make="n" + dry=":" ;; -s) mode="savedefconfig" ;; -l) mode="olddefconfig" ;; -n) mode="nconfig" ;; |