diff options
author | raveit65 <[email protected]> | 2019-06-21 14:24:18 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-06-21 14:24:18 +0200 |
commit | 4703065becdb10a99dda91db6c8f68cc4486db35 (patch) | |
tree | 2ec6823836ab49bc1c3c8015d56cdc0f1f1ce702 | |
parent | a797489fa9b3054473537a7cdf8aa26f0e1958e7 (diff) | |
download | mate-panel-4703065becdb10a99dda91db6c8f68cc4486db35.tar.bz2 mate-panel-4703065becdb10a99dda91db6c8f68cc4486db35.tar.xz |
CI: add gtk-layer-shell git repo
-rw-r--r-- | .travis.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index af390413..d216fe3d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -220,6 +220,22 @@ before_scripts: - make - make install + - cd ${START_DIR} + - if [ ! -d gtk-layer-shell-build ]; then + - git clone --depth 1 https://github.com/wmww/gtk-layer-shell.git gtk-layer-shell-build + - fi + - cd gtk-layer-shell-build + - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then + - ./autogen.sh --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu + - else + - ./autogen.sh --prefix=/usr + - fi + - if [ ${TRAVIS} == "false" ]; then + - make clean + - fi + - make + - make install + after_scripts: - if [ ${DISTRO_NAME} == "fedora" ];then - cppcheck --xml --output-file=cppcheck.xml --enable=warning,style,performance,portability,information,missingInclude -i'mate-menus-build' . |