From 127b5e6c25bc05701f06f6d09dff19d8c56c652e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 6 Mar 2018 01:01:49 +0100
Subject: [PATCH] ci: Install mozjs-devel instead of gjs-devel

All we are really interested in is mozjs' js52 utility for running
syntax checks - gjs has significantly more dependencies, so cut
down on time and bandwidth spent on downloading and installing
unneeded packages.

This cuts down the number of packages we install from 202 to 13,
and the download size from 133M to 17M.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f1686fa5..a470d65a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
  - build
 
 before_script:
-  - dnf install -y meson gettext gjs-devel
+  - dnf install -y meson gettext mozjs52-devel
 
 build-shell-extensions:
   stage: build