mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2024-12-09 08:20:39 +00:00
13 lines
272 B
Plaintext
13 lines
272 B
Plaintext
|
#!/bin/sh
|
||
|
_cc="${HOSTCC_REAL:-gcc}"
|
||
|
case "$1" in
|
||
|
-print-file-name=*)
|
||
|
dirs="$($_cc -print-search-dirs | grep -m1 libraries | sed -e 's,:, ,' -e 's,.* =,,')"
|
||
|
dirs="$dirs /usr/lib /usr/local/lib"
|
||
|
find $dirs -name "${1#*=}" | head -n1
|
||
|
;;
|
||
|
*)
|
||
|
exec $_cc "$@"
|
||
|
;;
|
||
|
esac
|