labath wrote: > > However, it shows an issue that is a concern actually: Do we really want to > > prefer gmake over make on all platforms? > > I was using RHEL9 today and it has gmake and make but they are both GNU make. > So I think we're safe using gmake if we find it.
On my system (Gentoo), `gmake` is a symlink to `make`. ``` $ ls -l `which make` lrwxr-xr-x 1 root root 5 Nov 12 19:29 /usr/bin/make -> gmake ``` I'd be willing to bet that the version of the code before this patch (which preferred `make`) would fail on a linux system (if it even exists) where `make` is *NOT* "GNU make" . (In other words, I agree with you :) ) https://github.com/llvm/llvm-project/pull/119573 _______________________________________________ lldb-commits mailing list lldb-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits
