| commit | 717181c5943c13a682c719dce10bfc3d9cc47e6b | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Wed Mar 27 16:38:39 2019 +0430 |
| committer | GitHub <noreply@github.com> | Wed Mar 27 16:38:39 2019 +0430 |
| tree | 2050e1629c21792f885df8605d7c4dfd6f026931 | |
| parent | 08e36c5d8be22b3a7e31f33af9452372dafeacc0 [diff] |
[ci] remove ragel from psvita compile bot
diff --git a/.circleci/config.yml b/.circleci/config.yml index 364766a..54385bb 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml
@@ -261,7 +261,6 @@ - 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