Linux hints: try using user-provided binaries before going for the defaults
authorBrian Fraser <fraserbn@gmail.com>
Wed, 22 Jan 2014 20:13:25 +0000 (17:13 -0300)
committerBrian Fraser <fraserbn@gmail.com>
Sun, 26 Jan 2014 17:44:18 +0000 (14:44 -0300)
commit400f22b8f621a369c7474a3923a4d4d965942537
tree9bd3e81d4015422e0fe194356c02ec83a2f25a0e
parentc2d9228f2ebd4faf3f1605e7adb5d962d6366bbd
Linux hints: try using user-provided binaries before going for the defaults

This means that if the user called Configure with -Dnm=/foo/bar/nm, the
hints will try using that before going for plain 'nm'
hints/linux.sh