config_options is not configure_options
config_options is not configure_options

Use configure_options to add new options (<<) or clear the default
ones. Please be careful on it's usage since it could affect cross-compilation.

jtarchie/mini_portile,flavorjones/mini_portile,flavorjones/mini_portile,luislavena/mini_portile,luislavena/mini_portile,larskanis/mini_portile