Skip to content
Jenkins
Python
Debian Linux - ADOL-C
#3832
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 12 days ago
Took 20 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