Alexis Murzeau, thank you very much for the investigation. Then we can
ignore that warning in a good conscience. To avoid "unrecognized command
line option" errors, I've rewritten the ranges_append_flag macro used by CMake.

Reply via email to