projects
/
m6w6
/
ext-http
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
|
github
raw
|
inline
| side by side
release v4.0.0
[m6w6/ext-http]
/
scripts
/
gen_github_workflow_ci.php
diff --git
a/scripts/gen_github_workflow_ci.php
b/scripts/gen_github_workflow_ci.php
index 3b927ea4c6c5e9cac324e617b0dfffdf565926f7..7cbbdfb056640a729137a915bd3d9db77bfc2d53 100755
(executable)
--- a/
scripts/gen_github_workflow_ci.php
+++ b/
scripts/gen_github_workflow_ci.php
@@
-39,8
+39,8
@@
$job = $gen->github([
],
"cur-cov" => [
// once everything enabled for current, with coverage
],
"cur-cov" => [
// once everything enabled for current, with coverage
- "CFLAGS" => "
'-O0 -g --coverage'
",
- "CXXFLAGS" => "
'-O0 -g --coverage'
",
+ "CFLAGS" => "
-O0 -g --coverage
",
+ "CXXFLAGS" => "
-O0 -g --coverage
",
"PHP" => $cur,
"enable_iconv" => "yes",
[
"PHP" => $cur,
"enable_iconv" => "yes",
[
@@
-58,7
+58,7
@@
foreach ($job as $id => $env) {
}
printf(" env:\n");
foreach ($env as $key => $val) {
}
printf(" env:\n");
foreach ($env as $key => $val) {
- printf(" %s:
%s
\n", $key, $val);
+ printf(" %s:
\"%s\"
\n", $key, $val);
}
?>
runs-on: ubuntu-20.04
}
?>
runs-on: ubuntu-20.04
@@
-76,17
+76,18
@@
foreach ($job as $id => $env) {
libidn2-0-dev \
libicu-dev \
libevent-dev \
libidn2-0-dev \
libicu-dev \
libevent-dev \
- libbrotli-dev
+ libbrotli-dev \
+ re2c
- name: Prepare
run: |
make -f scripts/ci/Makefile php || make -f scripts/ci/Makefile clean php
make -f scripts/ci/Makefile pecl PECL=m6w6/ext-raphf.git:raphf:master
- name: Build
run: |
- name: Prepare
run: |
make -f scripts/ci/Makefile php || make -f scripts/ci/Makefile clean php
make -f scripts/ci/Makefile pecl PECL=m6w6/ext-raphf.git:raphf:master
- name: Build
run: |
- make -f
travis/pecl
/Makefile ext PECL=http
+ make -f
scripts/ci
/Makefile ext PECL=http
- name: Test
run: |
- name: Test
run: |
- make -f
travis/pecl
/Makefile test
+ make -f
scripts/ci
/Makefile test
<?php if (isset($env["CFLAGS"]) && strpos($env["CFLAGS"], "--coverage") != false) : ?>
- name: Coverage
if: success()
<?php if (isset($env["CFLAGS"]) && strpos($env["CFLAGS"], "--coverage") != false) : ?>
- name: Coverage
if: success()