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
Add DEFAULT_TEST_TARGET and STG_PROVE_OPTS variables to top-level Makefile.
This helps shell autocompletion tools know that these variables are
available, and thus easier to compose a command line like:
make DEFAULT_TEST_TARGET=prove STG_PROVE_OPTS=-j4
Signed-off-by: Peter Grayson <[email protected]>
0 commit comments