Replace make with mage in CircleCI build
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 15 Oct 2017 09:08:25 +0000 (11:08 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 15 Oct 2017 09:08:25 +0000 (11:08 +0200)
commitfe71cb6f5f83cdc8374cf1fc35a6d48102bd4b12
tree30124e7ba4a1ee699fac7680fb9073f77a5699ad
parent68ace4343111e1f76d0be36066254cc4ec1e3177
Replace make with mage in CircleCI build

Updates #3969
.circleci/config.yml