mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

vharseko
20.04.2018 69fa20bc7d1780076bbd6a8eefc5d457fd2c9d4e
remove duplicate before_install + if [ $TRAVIS_OS_NAME = linux ]; then
sudo apt-get install -y rpm; else brew install rpm; fi
1 files modified
3 ■■■■ changed files
.travis.yml 3 ●●●● patch | view | raw | blame | history
.travis.yml
@@ -3,8 +3,6 @@
  include:
  - os: linux
    jdk: openjdk8
    before_install:
      - sudo apt-get install -y rpm
    before_deploy: 
      - git config --local user.name "OpenIdentityPlatform Community"
      - git config --local user.email "open-identity-platform-opendj@googlegroups.com"
@@ -49,6 +47,7 @@
before_install:
  - date -u
  - uname -a
  - if [ $TRAVIS_OS_NAME = linux ]; then sudo apt-get install -y rpm; else brew install rpm; fi
  - git fetch -t
  - export git_version_last="$(git describe --abbrev=0 --tags)"
  - export git_version="$(echo $git_version_last | awk -F . '{ printf "%d.%d.%d", $1,$2,$3 + 1}')"