mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-02 09:01:46 -05:00
travis: Run make install in travis.
This helps detect ordering problems in the install target
This commit is contained in:
parent
ca7b0722f1
commit
cd74d8f013
1 changed files with 1 additions and 1 deletions
|
|
@ -58,7 +58,7 @@ before_script:
|
||||||
- NOCONFIGURE=1 ./bootstrap.sh
|
- NOCONFIGURE=1 ./bootstrap.sh
|
||||||
|
|
||||||
script:
|
script:
|
||||||
- ./configure --localstatedir=/var && make && make check && make check-daemon
|
- ./configure --localstatedir=/var && make && make check && make check-daemon && make install DESTDIR=`mktemp -d`
|
||||||
|
|
||||||
notifications:
|
notifications:
|
||||||
email:
|
email:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue