[circleci] Remove some of the not needed flags
authorEbrahim Byagowi <ebrahim@gnu.org>
Mon, 1 Oct 2018 23:50:48 +0000 (03:20 +0330)
committerGitHub <noreply@github.com>
Mon, 1 Oct 2018 23:50:48 +0000 (03:20 +0330)
commit9742679b8253919f8bfec8a77532092044e951aa
tree791cc3934b8c782e049fcb14a918c105fabca048
parentf72b748371da2d7ce327a5d15feea46960aa7dd3
[circleci] Remove some of the not needed flags
.circleci/config.yml