Add more caching.
This commit is contained in:
parent
c10c6f6169
commit
81d8808ea0
|
@ -7,6 +7,7 @@ cache:
|
|||
directories:
|
||||
- $HOME/.ccache
|
||||
- $HOME/.cache/apt
|
||||
- $HOME/.cache/mpv-build
|
||||
|
||||
before_install:
|
||||
- mkdir -p $HOME/.cache/apt/partial
|
||||
|
|
|
@ -1,11 +1,15 @@
|
|||
#!/bin/bash
|
||||
set -ex
|
||||
|
||||
export OLDDIR=`pwd`
|
||||
|
||||
export CFLAGS="-fPIC -Os"
|
||||
|
||||
export CCACHE_SLOPPINESS=time_macros
|
||||
export CCACHE=`which ccache`
|
||||
|
||||
cd $HOME/.cache
|
||||
|
||||
git clone --depth 1 https://github.com/mpv-player/mpv-build mpv-build || true
|
||||
cd mpv-build
|
||||
|
||||
|
@ -32,4 +36,4 @@ echo "--disable-caca --disable-wayland --disable-gl-wayland --disable-libarchive
|
|||
./rebuild -j`nproc`
|
||||
sudo ./install
|
||||
ccache -s
|
||||
cd ..
|
||||
cd $OLDDIR
|
||||
|
|
Loading…
Reference in a new issue