Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
sort input files #116
when building packages (e.g. for openSUSE Linux)
See https://reproducible-builds.org/ for why this matters.
Note: I'm not 100% sure it needs all of those (because gnuradio compilation takes 100 minutes), but they should not hurt anyway.