diff options
| author | Ebrahim Byagowi <ebrahim@gnu.org> | 2019-03-27 16:38:39 +0430 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-27 16:38:39 +0430 |
| commit | 717181c5943c13a682c719dce10bfc3d9cc47e6b (patch) | |
| tree | 2050e1629c21792f885df8605d7c4dfd6f026931 | |
| parent | 08e36c5d8be22b3a7e31f33af9452372dafeacc0 (diff) | |
[ci] remove ragel from psvita compile bot
| -rw-r--r-- | .circleci/config.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 364766ae..54385bba 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -261,7 +261,6 @@ jobs: - image: dockcross/base steps: - checkout - - run: apt update && apt install ragel - run: git clone https://github.com/vitasdk/vdpm && cd vdpm && ./bootstrap-vitasdk.sh - run: ./autogen.sh --prefix=/usr/local/vitasdk/arm-vita-eabi --host=arm-vita-eabi - run: make -j32 |