Michal Marek <[email protected]> writes: > On 15.1.2014 05:39, Rusty Russell wrote: >> "Lee, Chun-Yi" <[email protected]> writes: >>> From: Chun-Yi Lee <[email protected]> >>> v2: >>> Using '$(shell /bin/pwd)' instead of '$(shell pwd)' for more reliable >>> between different shells >> >> Hmm, that's not a great test for equality. How about: >> >> ifneq ($(realpath .), $(realpath $(srctree))) >> >> That should cover all the cases. > > make 3.80 does not have realpath :(.
OK, I guess the former is the best compromise then. Thanks, Rusty. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
