Re: [Crash-utility] [PATCH v2 4/4] make: replace make by $(MAKE)

This Message Is From an External Sender This message came from outside your organization. Hi, Sven and Kazu The patchset really saves compilation time for crash build and the following three patches look good to me(need a minor adjustment as Kazu mentioned). Thank you for the work, Sven. [PATCH v2 1/4] make: set --no-print-directory once [PATCH v2 3/4] make: use -C instead of (cd x; make) [PATCH v2 4/4] make: replace make by $(MAKE) Given that the gdb patch has specific rules, Kazu(or me) can help to pack them into one patch with Sven's signature, if you have no objections.