3 ms·
ubuntu LTS's make is a lot leaner: $ ldd `which make` linux-vdso.so.1 (0x00007ffff9e87000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (
by kristianp 7y ago
ubuntu LTS's make is a lot leaner:
$ ldd `which make`
linux-vdso.so.1 (0x00007ffff9e87000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f27cd690000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f27cd290000)
/lib64/ld-linux-x86-64.so.2 (0x00007f27cdc00000)
$ ls -l `which make`
-rwxr-xr-x 1 root root 222792 Apr 17 2018 /usr/bin/make
$ make -p |grep FEAT
make: *** No targets specified and no makefile found. Stop.
.FEATURES := target-specific order-only second-expansion else-if shortest-stem
undefine oneshell archives jobserver output-sync check-symlink load