[gjs: 3/4] CI: add a test using '--disable-profiler'

[Philip Chimento <pchimento src gnome org>]

commit de7d9737300b4b0bbb9a46db0c9732c5cb193db8
Author: Claudio André <claudioandre br gmail com>
Date:   Sun Mar 25 10:29:18 2018 -0300

    CI: add a test using '--disable-profiler'
    
    [skip eslint]

 .gitlab-ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7621cf8..de01be3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -98,6 +98,16 @@ fedora_clang:
     DEV: devel
     TEST: "distcheck"
 
+no_profiler:
+  <<: *build
+  stage: thorough_tests
+  image: claudioandre/spidermonkey:fedora.dev.gcc
+  variables:
+    CC: gcc
+    DEV: devel
+    TEST: "check"
+    BUILD_OPTS: "--disable-profiler"
+
 coverage:
   <<: *build
   stage: thorough_tests