You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--config CONFIG Give a path to specific configuration file.
Incompatible with --tiny argument.
it would be nice to support an array of configuration files (--configs I guess).
By default, each configuration file would be compiled in a new container ("clean").
--configs combined with --incremental would allow one to compile all configurations in an incremental manner (without a clean environment or without a make clean)
The text was updated successfully, but these errors were encountered:
right now we have this option:
it would be nice to support an array of configuration files (--configs I guess).
By default, each configuration file would be compiled in a new container ("clean").
--configs combined with --incremental would allow one to compile all configurations in an incremental manner (without a clean environment or without a make clean)
The text was updated successfully, but these errors were encountered: