diff options
author | raveit65 <[email protected]> | 2021-03-08 22:16:33 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2021-03-08 22:16:33 +0100 |
commit | 788ba193b05186dbc9ac4b136b9d655ac4701c80 (patch) | |
tree | 8ecb3a4af22eb7720bdc236f89360ad39d887360 | |
parent | fddd47f12595c0a39e70074acc74957b9d7fd376 (diff) | |
download | mate-panel-788ba193b05186dbc9ac4b136b9d655ac4701c80.tar.bz2 mate-panel-788ba193b05186dbc9ac4b136b9d655ac4701c80.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
@@ -134,18 +134,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 |