That helped. The make command was successful.
On Fri, 03 Oct 2008 Johnathan C. wrote :
On Fri, 2008-10-03 at 03:04 +0000, Prasant Misra wrote:
But on make, I get the following:
make: Entering directory `/home/pkmisra/GNU Radio/gnuradio-3.1.3’
Don’t use directory names with spaces.
Prasant Kumar Misra.