Move the mkNamedPrims.sh script to platforms/Cross/util. Add platforms/Cross/util/mkIntPluginIndices.sh, a script to generate defines for builtin plugins such that each builtin plugin name is defined as its position in the sequence of plugins. This is useful for e.g. a common logging facility that needs to output to a different log file for each plugin.
Want to know about upcoming build environment updates?
Would you like to stay up-to-date with the upcoming Travis CI build environment updates? We set up a mailing list for you!