diff options
author | raveit65 <[email protected]> | 2021-03-08 22:15:51 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2021-03-08 22:15:51 +0100 |
commit | c408d3eaf12ca962deb079d38980326cd2cb12a9 (patch) | |
tree | 15071ff504a73fd078dabd111d2bc8c6247007fe | |
parent | 6bbd3d319ea31d577aef82453a5d166464bf6c77 (diff) | |
download | mate-panel-c408d3eaf12ca962deb079d38980326cd2cb12a9.tar.bz2 mate-panel-c408d3eaf12ca962deb079d38980326cd2cb12a9.tar.xz |
travis: build with mate-common-1.24.2 from repos
-rw-r--r-- | .build.yml | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -130,18 +130,6 @@ variables: before_scripts: - cd ${START_DIR} - - '[ -f mate-common-1.24.1.tar.xz ] || curl -Ls -o mate-common-1.24.1.tar.xz https://github.com/mate-desktop/mate-common/releases/download/v1.24.1/mate-common-1.24.1.tar.xz' - - tar xf mate-common-1.24.1.tar.xz - - cd mate-common-1.24.1 - - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then - - ./configure --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu - - else - - ./configure --prefix=/usr - - fi - - 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 |