mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-01 22:58:47 -04:00
71 lines
1.1 KiB
Text
71 lines
1.1 KiB
Text
|
|
#!/bin/sh
|
||
|
|
|
||
|
|
# we need sed
|
||
|
|
SED=@SED@
|
||
|
|
if test -z "$SED" ; then
|
||
|
|
SED=sed
|
||
|
|
fi
|
||
|
|
|
||
|
|
lt_unmangle ()
|
||
|
|
{
|
||
|
|
last_result=`echo $1 | $SED -e 's#.libs/##' -e 's#[0-9a-zA-Z_]\*_la-##'`
|
||
|
|
}
|
||
|
|
|
||
|
|
# the tool to wrap (cc, cxx, ar, ranlib, ..)
|
||
|
|
tool="$1"
|
||
|
|
shift
|
||
|
|
|
||
|
|
# the reel tool (to call)
|
||
|
|
REEL_TOOL="$1"
|
||
|
|
shift
|
||
|
|
|
||
|
|
pass_through=0
|
||
|
|
preserved_args=
|
||
|
|
while test "$#" -gt 0; do
|
||
|
|
opt="$1"
|
||
|
|
shift
|
||
|
|
|
||
|
|
case $opt in
|
||
|
|
--shave-mode=*)
|
||
|
|
mode=`echo $opt | $SED -e 's/[-_a-zA-Z0-9]*=//'`
|
||
|
|
;;
|
||
|
|
-o)
|
||
|
|
lt_output="$1"
|
||
|
|
preserved_args="$preserved_args $opt"
|
||
|
|
;;
|
||
|
|
*)
|
||
|
|
preserved_args="$preserved_args $opt"
|
||
|
|
;;
|
||
|
|
esac
|
||
|
|
done
|
||
|
|
|
||
|
|
# mode=link is handled in the libtool wrapper
|
||
|
|
case "$mode,$tool" in
|
||
|
|
link,*)
|
||
|
|
pass_through=1
|
||
|
|
;;
|
||
|
|
*,cxx)
|
||
|
|
Q=" CXX "
|
||
|
|
;;
|
||
|
|
*,cc)
|
||
|
|
Q=" CC "
|
||
|
|
;;
|
||
|
|
*,*)
|
||
|
|
# should not happen
|
||
|
|
Q=" CC "
|
||
|
|
;;
|
||
|
|
esac
|
||
|
|
|
||
|
|
lt_unmangle "$lt_output"
|
||
|
|
output=$last_result
|
||
|
|
|
||
|
|
if test -z $V; then
|
||
|
|
if test $pass_through -eq 0; then
|
||
|
|
echo "$Q$output"
|
||
|
|
fi
|
||
|
|
$REEL_TOOL $preserved_args
|
||
|
|
else
|
||
|
|
echo $REEL_TOOL $preserved_args
|
||
|
|
$REEL_TOOL $preserved_args
|
||
|
|
fi
|