From 717181c5943c13a682c719dce10bfc3d9cc47e6b 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 364766a..54385bb 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
-- 
2.7.4