mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-10-29 05:40:23 -04:00
build: Copy orc dist files to the correct directory
This commit is contained in:
parent
b424008160
commit
f25676c2bb
1 changed files with 3 additions and 2 deletions
|
|
@ -67,5 +67,6 @@ dist-hook-orc: tmp-orc.c $(ORC_SOURCE).h
|
|||
cp tmp-orc.c $(srcdir)/$(ORC_SOURCE)-dist.c
|
||||
cmp -s $(ORC_SOURCE).h $(srcdir)/$(ORC_SOURCE)-dist.h || \
|
||||
cp $(ORC_SOURCE).h $(srcdir)/$(ORC_SOURCE)-dist.h
|
||||
cp -p $(srcdir)/$(ORC_SOURCE)-dist.c $(distdir)/
|
||||
cp -p $(srcdir)/$(ORC_SOURCE)-dist.h $(distdir)/
|
||||
mkdir -p $$(dirname $(ORC_SOURCE))
|
||||
cp -p $(srcdir)/$(ORC_SOURCE)-dist.c $(distdir)/$$(dirname $(ORC_SOURCE))
|
||||
cp -p $(srcdir)/$(ORC_SOURCE)-dist.h $(distdir)/$$(dirname $(ORC_SOURCE))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue