diff options
Diffstat (limited to 'src/platform')
| -rw-r--r-- | src/platform/generic/html/build.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/platform/generic/html/build.html b/src/platform/generic/html/build.html index 4f9f4b7..5de864b 100644 --- a/src/platform/generic/html/build.html +++ b/src/platform/generic/html/build.html @@ -59,6 +59,8 @@ sed -i -e "s|CI__PIPELINE_ID|${CI_PIPELINE_ID}|g" ./build/html/build.html <br> sed -i -e "s|CI__COMMIT_SHA|${CI_COMMIT_SHA}|g" ./build/html/build.html + <br> + sed -i -e "s|CI__|CI_|g" ./build/html/build.html </code> <h1>Build for Chrome</h1> <code> @@ -77,6 +79,8 @@ sed -i -e "s|CI__PIPELINE_ID|${CI_PIPELINE_ID}|g" ./build/html/build.html <br> sed -i -e "s|CI__COMMIT_SHA|${CI_COMMIT_SHA}|g" ./build/html/build.html + <br> + sed -i -e "s|CI__|CI_|g" ./build/html/build.html </code> </body> </html>
\ No newline at end of file |