serenity/Ports/flex
Tim Schumacher f81e47eea8 Ports: Allow selecting multiple config_{sub,guess}_paths
Some ports may have more than one `config.sub` that is in use (vendored
dependencies, etc.). Instead of fiddling about with space-delimited
strings, let's just make that setting into an array right away.
2022-05-25 22:54:04 +01:00
..
patches Ports: Update flex's patches to use git patches 2022-05-19 20:17:10 +04:30
package.sh Ports: Allow selecting multiple config_{sub,guess}_paths 2022-05-25 22:54:04 +01:00