Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
There is a recent pull request that using the new --shuffle option fo…
…r testing for concurrency issues PR#590 found an issue. After looking into it there was indeed atleast two problems that this commit fixed.
- Loading branch information
e3ac916
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is an alternative fix to the pull request suggested here #590 . This fix uses the .WAIT within the Makefile. There was also an issue where some dependencies in the misc was not defined properly in the outer Makefile.