Skip to content
Jenkins
All
Debian Linux - Basic
#3641
Search
Sign in
Status
Changes
Console Output
Polling Log
Git Build Data
Tests
Previous Build
Next Build
Changes
Started by GitHub push by MathieuMorlighem
Started 11 days ago
Took 16 min on
Debian_12-VM
CHG: a lot of people get confused and run ./configure, forgetting .sh. Added a check that at least --prefix is provided as a safety measure to help users figure out their mistake
(
dcdf84d
)
configure.ac
Mathieu Morlighem
at
6:37 PM 4/27/26