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

From: [email protected] 
[mailto:[email protected]] 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
_______________________________________________
Discuss-gnuradio mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

Reply via email to