Skip to content
Snippets Groups Projects
Commit 2eb870ae authored by adam's avatar adam Committed by Zubin
Browse files

ci: fix ci.sh by creating build.mk in one place

Previously `prepare_build_mk` created a build.mk that was overwritten right
after.

This makes the BIGNUM_BACKEND choice take effect, fixing #19953, and
causing the metric increase below in the integer-simple job.

Metric Increase:
    space_leak_001

(cherry picked from commit 87f57ecf)
parent f56f575e
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment