Thanks Nicholas,
That worked.
-- ######################################################
-- # Gnuradio enabled components
-- ######################################################
-- * python-support
-- * testing-support
-- * volk
-- * doxygen
-- * sphinx
-- * gruel
-- * gnuradio-core
-- * gnuradio-companion
-- * gr-blocks
-- * gr-fft
-- * gr-filter
-- * gr-atsc
-- * gr-audio
-- * gr-analog
-- * gr-digital
-- * gr-noaa
-- * gr-pager
-- * gr-trellis
-- * gr-utils
-- * gr-vocoder
-- * gr-fcd
-- * gr-wavelet
-- * gr-wxgui
--
-- ######################################################
-- # Gnuradio disabled components
-- ######################################################
-- * gr-comedi
-- * gr-qtgui
-- * gr-uhd
-- * gr-shd
-- * gr-video-sdl
73 ... Sid.
Would be good to see how it does on an Odroid-U2...