I'm thinking about requiring GNU make (gmake), instead of trying to work with whatever make we find.
If we do require gmake, is anybody going to have any heartburn? Thanks, Eric _______________________________________________ Discuss-gnuradio mailing list [email protected] http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
