Allow pre-filling API symbols

cuberite / CuberitePluginChecker

Automated script for CI-checking Cuberite plugins

The Unlicense

3 stars 3 forks source link

Allow pre-filling API symbols #20

Closed madmaxoft closed 7 years ago

madmaxoft commented 7 years ago

Some plugins depend on API symbols being pre-filled, so that they can iterate over them using pairs. For these plugins a new command-line switch has been added to pre-fill specific API symbols matching a pattern.

madmaxoft commented 7 years ago

The individual diffs are beginning to be confusing, I created a PR for the entire thing.

madmaxoft commented 7 years ago

Oh dear, because I started the PR, I can't set it to "request changes".

NiLSPACE commented 7 years ago

I've fixed everything and squashed it all in a single commit.

NiLSPACE commented 7 years ago

Done

madmaxoft commented 7 years ago

Thanks