PyBOMBS skip volk_profile

Is there a clean way to skip volk_profile when rebuilding gnuradio with
PyBOMBS? This setting seems to be automated and I can’t find where to
switch it off.

Thanks,
Sean

Never mind. It looks like there’s a timeout before which the user can
select “no” to running volk_profile.

From: discuss-gnuradio-bounces+sean.nowlan=removed_email_address@domain.invalid
[mailto:discuss-gnuradio-bounces+sean.nowlan=removed_email_address@domain.invalid] On
Behalf Of Nowlan, Sean
Sent: Tuesday, July 15, 2014 4:47 PM
To: [email protected]
Subject: [Discuss-gnuradio] PyBOMBS skip volk_profile

Is there a clean way to skip volk_profile when rebuilding gnuradio with
PyBOMBS? This setting seems to be automated and I can’t find where to
switch it off.

Thanks,
Sean