From dc07ecbd80814f79733ce3a2662d17bcbb54b1e9 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Wed, 27 Mar 2019 16:38:39 +0430
Subject: [PATCH] [ci] remove ragel from psvita compile bot

---
 .circleci/config.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 364766ae4..54385bba2 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