-
Notifications
You must be signed in to change notification settings - Fork 21
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make mix tests optional #21
Conversation
This commit adds an enable/disable option for the 'mix' tests. The default is to enable. Relies on the ENABLE_MIX macro to include/exclude appropriate source files. Signed-off-by: David Ozog <[email protected]>
Signed-off-by: David Ozog <[email protected]>
Signed-off-by: David Ozog <[email protected]>
Can one of the admins verify this patch? |
@davidozog - could you please squash commits. |
@miked-mellanox You should be able to squash when you merge the commit by clicking the down arrow on the right side of the merge button and selecting "Squash and merge". |
@miked-mellanox Would you prefer that I "push --force" a squashed commit to this PR, open a new PR, or let you do the green-button "squash and merge"? I'm fine with whatever you prefer. |
I was unaware that you were working on the MPI separation, and i was preparing a pull-request until i checked here. |
I think the explicit MPI also does not have a standard library name, so checking for
|
Can one of the admins verify this patch? |
ok to test |
bot:retest |
@davidozog - merge conflict |
This addresses #20 by adding --enable-mpi / --disable-mpi flag to configure.