diff options
Diffstat (limited to 'contrib/jenkins_oct.sh')
-rwxr-xr-x | contrib/jenkins_oct.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins_oct.sh b/contrib/jenkins_oct.sh index 4595c0d7..efbd368d 100755 --- a/contrib/jenkins_oct.sh +++ b/contrib/jenkins_oct.sh @@ -14,7 +14,7 @@ osmo-build-dep.sh libosmo-abis cd "$deps" osmo-layer1-headers.sh oct "$FIRMWARE_VERSION" -configure_flags="--with-octsdr-2g=$deps/layer1-headers/ --enable-octphy" +configure_flags="--enable-sanitize --with-octsdr-2g=$deps/layer1-headers/ --enable-octphy" build_bts "osmo-bts-octphy" "$configure_flags" |