diff options
| author | jvoisin | 2019-07-10 21:18:29 +0200 |
|---|---|---|
| committer | jvoisin | 2019-07-10 21:35:36 +0200 |
| commit | f7e25b29c1cd5273675dbb3d6883c40377d8315d (patch) | |
| tree | 5f1aef8493e9bb12c577a52bf3b9b316ec2fd7be | |
| parent | 92584082f9a86243f8155889dbcc2716e09750f4 (diff) | |
Use pcre3 on Debian in gitlab's CI for now.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 40dcd0a..73181c5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -6,7 +6,7 @@ testsuite:debian: | |||
| 6 | stage: testsuite | 6 | stage: testsuite |
| 7 | script: | 7 | script: |
| 8 | - apt-get -qqy update | 8 | - apt-get -qqy update |
| 9 | - apt-get -qqy install --no-install-recommends php-dev gcc make libpcre2-dev | 9 | - apt-get -qqy install --no-install-recommends php-dev gcc make libpcre3-dev |
| 10 | - make debug | 10 | - make debug |
| 11 | 11 | ||
| 12 | testsuite:fedora: | 12 | testsuite:fedora: |