[Discuss-gnuradio] GNURadio build swig code fail on USB

Hi All,

Building GNURadio on a mounted USB drive (on an Odroid ARM device), fails here:

Scanning dependencies of target _pmt_swig_doc_tag
[  9%] Building CXX object gnuradio-runtime/swig/CMakeFiles/_pmt_swig_doc_tag.dir/_pmt_swig_doc_tag.cpp.o
[  9%] Linking CXX executable _pmt_swig_doc_tag
[  9%] Built target _pmt_swig_doc_tag
Scanning dependencies of target pmt_swig_swig_doc
[  9%] Generating doxygen xml for pmt_swig_doc docs
/bin/sh: 1: ./_pmt_swig_doc_tag: Permission denied
gnuradio-runtime/swig/CMakeFiles/pmt_swig_swig_doc.dir/build.make:72: recipe for target 'gnuradio-runtime/swig/pmt_swig_doc_swig_docs/xml/index.xml' failed
make[2]: *** [gnuradio-runtime/swig/pmt_swig_doc_swig_docs/xml/index.xml] Error 126
CMakeFiles/Makefile2:1287: recipe for target 'gnuradio-runtime/swig/CMakeFiles/pmt_swig_swig_doc.dir/all' failed
make[1]: *** [gnuradio-runtime/swig/CMakeFiles/pmt_swig_swig_doc.dir/all] Error 2
Makefile:160: recipe for target 'all' failed
make: *** [all] Error 2

odroid@odroid:~/gnuradio/build$ find . -name _pmt_swig_doc_tag
./gnuradio-runtime/swig/_pmt_swig_doc_tag

odroid@odroid:~/gnuradio/build$ ls -l ./gnuradio-runtime/swig/_pmt_swig_doc_tag
-rwxrwxr-x 1 odroid odroid 8164 Sep 16 11:01 ./gnuradio-runtime/swig/_pmt_swig_doc_tag

Whereas, building on the local SD card works!

Scanning dependencies of target runtime_swig_swig_doc
[ 11%] Built target runtime_swig_swig_doc
Scanning dependencies of target pmt_swig_swig_doc
[ 11%] Built target pmt_swig_swig_doc
Scanning dependencies of target _pmt_swig_swig_tag
[ 11%] Building CXX object gnuradio-runtime/swig/CMakeFiles/_pmt_swig_swig_tag.dir/_pmt_swig_swig_tag.cpp.o
[ 11%] Linking CXX executable _pmt_swig_swig_tag
[ 11%] Built target _pmt_swig_swig_tag

Anyone encountered this, or knows why building swig on mounted USB drive fails please?

Thanks,
Dave