Add a new opts file that can be used for Docker builds
Compare changes
docker.opts
0 → 100644
+ 56
− 0
Fixes #919 (closed)
Implements settings suggested here: https://stackoverflow.com/questions/54039176/mtune-and-march-when-compiling-in-a-docker-image