mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-02 09:01:46 -05:00
run make update-shave
This commit is contained in:
parent
ea1d429c3b
commit
4e86a4c759
3 changed files with 35 additions and 25 deletions
|
|
@ -8,7 +8,7 @@ fi
|
|||
|
||||
lt_unmangle ()
|
||||
{
|
||||
last_result=`echo $1 | $SED -e 's#.libs/##' -e 's#[0-9a-zA-Z_]\*_la-##'`
|
||||
last_result=`echo $1 | $SED -e 's#.libs/##' -e 's#[0-9a-zA-Z_\-\.]*_la-##'`
|
||||
}
|
||||
|
||||
# the real libtool to use
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue