Project

General

Profile

Bug #3514

contrib/jenkins_*.sh: non existing --with-osmo-pcu option?

Added by fixeria 23 days ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
09/01/2018
Due date:
% Done:

0%

Estimated time:
Spec Reference:

Description

Accidentally found this option present in Jenkins build scripts:

configure_flags="\
    ... \
    --with-osmo-pcu=$deps/osmo-pcu/include \
    ...

but couldn't find this one in the list of configure options...

Also available in: Atom PDF

Add picture from clipboard (Maximum size: 48.8 MB)