Better fix for build problem
This is a more sound fix for the build problem of #173 (last fix should always have at least deleted march= line. Oops).
Sorry for the version churn. Should be all set now, though.
This is a more sound fix for the build problem of #173 (last fix should always have at least deleted march= line. Oops).
Sorry for the version churn. Should be all set now, though.