diff --git a/.circleci/config.yml b/.circleci/config.yml index a19dc2479464b70c62f30af5e2393b225d4b196a..6ee6c48b215d251169ef0bda1d18996016d4cdf8 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -10,7 +10,7 @@ jobs: name: git command: | apt-get update - apt-get install -y git openssh-client make automake autoconf gcc perl python3 texinfo + apt-get install -y git openssh-client make automake autoconf gcc perl python3 - checkout - run: name: submodules diff --git a/.travis.yml b/.travis.yml index 55995b76169dce1bb4ded3b79547dd691abbd853..09d9fef137f4ce4bd6777b89a906bfc54f5e13dd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,7 +22,6 @@ addons: - alex-3.1.7 - happy-1.19.5 - python3 - - texinfo #- llvm-3.7 before_install: