| commit | 1f31783cccc0e8f815746ec299e1769521dfa95d | [log] [tgz] |
|---|---|---|
| author | Valentin David <valentin.david@codethink.co.uk> | Tue Jun 02 18:57:32 2020 +0200 |
| committer | Valentin David <valentin.david@codethink.co.uk> | Wed Jun 03 10:56:49 2020 +0200 |
| tree | 8dd63ed1477725f0439ccf95e4a3561d40531733 | |
| parent | 2beaa288ba58fce651847d766de2112ba687a2e9 [diff] |
Evaluate options before includes Since option directives `(?)` expect lists, they cannot easily be merged. So multiple includes with conflicting option directives would only get one list if option processing is done after includes.