File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change 2121
2222 - name : " Generate C++20 flowcharts"
2323 run : |
24+ set -eu -o pipefail
25+
2426 out='generation/gh-pages/std-2020'
2527 mkdir -- "$out"
2628
@@ -29,11 +31,13 @@ jobs:
2931
3032 - name : " Generate C++23 flowcharts"
3133 run : |
34+ set -eu -o pipefail
35+
3236 out='generation/gh-pages/std-2023'
3337 mkdir -- "$out"
3438
35- cat cpp23/ flowchart.dot.cpp | gcc -E - | dot -Tsvg -start=1000 > "$out"/initialization.svg
36- cat cpp23/ flowchart.dot.cpp | gcc -E - | dot -Tpng -start=1000 > "$out"/initialization.png
39+ (cd cpp23; cat flowchart.dot.cpp | gcc -E -) | dot -Tsvg -start=1000 > "$out"/initialization.svg
40+ (cd cpp23; cat flowchart.dot.cpp | gcc -E -) | dot -Tpng -start=1000 > "$out"/initialization.png
3741
3842 - name : Deploy generated flowcharts to Github Pages
3943 if : github.ref == 'refs/heads/main'
You can’t perform that action at this time.
0 commit comments