Re-add Crop to play-queue/playlist
[gmpc.git] / shave.in
blob5c16f27ae70ba80061692eec48047dab9b2c4c8b
1 #!/bin/sh
3 # we need sed
4 SED=@SED@
5 if test -z "$SED" ; then
6 SED=sed
7 fi
9 lt_unmangle ()
11 last_result=`echo $1 | $SED -e 's#.libs/##' -e 's#[0-9a-zA-Z_\-\.]*_la-##'`
14 # the tool to wrap (cc, cxx, ar, ranlib, ..)
15 tool="$1"
16 shift
18 # the reel tool (to call)
19 REEL_TOOL="$1"
20 shift
22 pass_through=0
23 preserved_args=
24 while test "$#" -gt 0; do
25 opt="$1"
26 shift
28 case $opt in
29 --shave-mode=*)
30 mode=`echo $opt | $SED -e 's/[-_a-zA-Z0-9]*=//'`
32 -o)
33 lt_output="$1"
34 preserved_args="$preserved_args $opt"
37 preserved_args="$preserved_args $opt"
39 esac
40 done
42 # mode=link is handled in the libtool wrapper
43 case "$mode,$tool" in
44 link,*)
45 pass_through=1
47 *,cxx)
48 Q=" CXX "
50 *,cc)
51 Q=" CC "
53 *,fc)
54 Q=" FC "
56 *,f77)
57 Q=" F77 "
59 *,objc)
60 Q=" OBJC "
62 *,*)
63 # should not happen
64 Q=" CC "
66 esac
68 lt_unmangle "$lt_output"
69 output=$last_result
71 if test -z $V; then
72 if test $pass_through -eq 0; then
73 echo "$Q$output"
75 $REEL_TOOL $preserved_args
76 else
77 echo $REEL_TOOL $preserved_args
78 $REEL_TOOL $preserved_args