diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-10-15 12:08:25 +0300 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-10-15 12:08:25 +0300 |
| commit | fe71cb6f5f83cdc8374cf1fc35a6d48102bd4b12 (patch) | |
| tree | 30124e7ba4a1ee699fac7680fb9073f77a5699ad | |
| parent | 68ace4343111e1f76d0be36066254cc4ec1e3177 (diff) | |
Replace make with mage in CircleCI build
Updates #3969
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 436f2daf0..3c6b30210 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -14,8 +14,8 @@ jobs: command: | git clone git@github.com:gohugoio/hugoDocs.git cd hugo - make vendor - make check + mage vendor + mage check - persist_to_workspace: root: . paths: . |