diff options
| -rw-r--r-- | .circleci/config.yml | 2 | ||||
| -rw-r--r-- | .travis.yml | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index a19dc24794..6ee6c48b21 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 55995b7616..09d9fef137 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: |