mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-12-14 08:56:34 -05:00
build-system: run make update-shave
This commit is contained in:
parent
35382d6d30
commit
af8f0583a3
2 changed files with 7 additions and 0 deletions
3
shave.in
3
shave.in
|
|
@ -56,6 +56,9 @@ link,*)
|
|||
*,f77)
|
||||
Q=" F77 "
|
||||
;;
|
||||
*,objc)
|
||||
Q=" OBJC "
|
||||
;;
|
||||
*,*)
|
||||
# should not happen
|
||||
Q=" CC "
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue