Skip to content
Snippets Groups Projects
Commit 07030ef3 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel :man_dancing:
Browse files

Re-allow `configure-option` in config file (re #2122)

A couple of settings were filtered out since
74cb2909 including
`configure-option`. However, it turns out you may want to
persist some options to `configure`, such as e.g.

  --configure-option=--build=x86_64-w64-mingw32

when working in a Cygwin host environment, but using a Mingw
toolchain (such as the one bundled with the Windows GHC bindist).

Approved by @dcoutts
parent 6aea62d8
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment