diff options
author | Pablo Barciela <[email protected]> | 2019-10-15 10:39:26 +0200 |
---|---|---|
committer | ZenWalker <[email protected]> | 2019-10-15 22:34:41 +0200 |
commit | bbdaf1fd77e851bd0b63e4793e1f9309dbe12ebc (patch) | |
tree | 779e62aa87a5566ed3716971bda1507cf8246fa9 | |
parent | f42be5d37b7f2b5c71d3a3595936e4d86c1fa554 (diff) | |
download | mate-panel-bbdaf1fd77e851bd0b63e4793e1f9309dbe12ebc.tar.bz2 mate-panel-bbdaf1fd77e851bd0b63e4793e1f9309dbe12ebc.tar.xz |
Travis CI: don't build mate-menus from git master
-rw-r--r-- | .travis.yml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/.travis.yml b/.travis.yml index a8f4bbf1..0404d8ea 100644 --- a/.travis.yml +++ b/.travis.yml @@ -224,21 +224,6 @@ before_scripts: - fi - make - make install - - cd ${START_DIR} - - if [ ! -d mate-menus-build ]; then - - git clone --depth 1 https://github.com/mate-desktop/mate-menus.git mate-menus-build - - fi - - cd mate-menus-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 - cd ${START_DIR} - if [ ! -d gtk-layer-shell-build ]; then |