Skip to content
Jenkins
Debian Linux - Solid Earth
#3640
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 9 min 19 sec 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