On Sun, Apr 03, 2005 at 11:10:24AM +0930, Daniel O'Connor wrote: > On Sun, 3 Apr 2005 09:41, Ilia Mirkin wrote: > > Is there a reason to use bash instead of sh, which is pretty standard > > across all UNIX-like systems made in the past 15 years or so... > > I think /bin/sh should be used since there aren't any bash'isms in that > script > (I am pretty sure.. certainly shouldn't be any IMHO :)
Fixed in CVS to use /bin/sh. Thanks, Eric _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
