diff options
author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2021-05-06 21:51:47 +0200 |
---|---|---|
committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2021-05-14 13:46:35 +0200 |
commit | e5691801fc34fcca4747ae0700e88ac75b47e65c (patch) | |
tree | baa9b6ee4606c2de1c3b1f65ebc8ab623a399c82 /.gitlab-ci.yml | |
parent | 6a62d1e863540b9471fa8bbb2e0bb8e4f37cd07d (diff) | |
download | gjs-e5691801fc34fcca4747ae0700e88ac75b47e65c.tar.gz |
build: Support building with precompiled headers
Pre-compiled headers can save some compilation time, and we do include
quite a lot of them, so let's add an unique header to be used to speedup
compilation.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 14d76d27..5a9c2308 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -247,6 +247,8 @@ iwyu: when: on_success stage: source_check image: registry.gitlab.gnome.org/gnome/gjs:fedora.mozjs78-debug + variables: + CONFIG_OPTS: -Db_pch=false script: - test/test-ci.sh UPSTREAM_BASE - meson setup _build |