build: shave it!
[platform/upstream/pulseaudio.git] / shave.in
1 #!/bin/sh
2
3 # we need sed
4 SED=@SED@
5 if test -z "$SED" ; then
6 SED=sed
7 fi
8
9 lt_unmangle ()
10 {
11    last_result=`echo $1 | $SED -e 's#.libs/##' -e 's#[0-9a-zA-Z_]\*_la-##'`
12 }
13
14 # the tool to wrap (cc, cxx, ar, ranlib, ..)
15 tool="$1"
16 shift
17
18 # the reel tool (to call)
19 REEL_TOOL="$1"
20 shift
21
22 pass_through=0
23 preserved_args=
24 while test "$#" -gt 0; do
25     opt="$1"
26     shift
27
28     case $opt in
29     --shave-mode=*)
30         mode=`echo $opt | $SED -e 's/[-_a-zA-Z0-9]*=//'`
31         ;;
32     -o)
33         lt_output="$1"
34         preserved_args="$preserved_args $opt"
35         ;;
36     *)
37         preserved_args="$preserved_args $opt"
38         ;;
39       esac
40 done
41
42 # mode=link is handled in the libtool wrapper
43 case "$mode,$tool" in
44 link,*)
45     pass_through=1
46     ;;
47 *,cxx)
48     Q="  CXX   "
49     ;;
50 *,cc)
51     Q="  CC    "
52     ;;
53 *,*)
54     # should not happen
55     Q="  CC    "
56     ;;
57 esac
58
59 lt_unmangle "$lt_output"
60 output=$last_result
61
62 if test -z $V; then
63     if test $pass_through -eq 0; then
64         echo "$Q$output"
65     fi
66     $REEL_TOOL $preserved_args
67 else
68     echo $REEL_TOOL $preserved_args
69     $REEL_TOOL $preserved_args
70 fi