Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Wait a bit before invoking make install
The same docker build sometimes works and sometimes doesn't. I have a hunch that there is some timing involved here. Maybe the build command isn't quite finished yet before that install command is invoked. As a workaround we make the install command wait a little before starting. This seems to help.
- Loading branch information