Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove dependency to docker.io (#985)
* Remove dependency to docker.io The dependency was basically added since this is needed to spawn up ursim. However, the start_ursim script catches the case that no docker executable is available and the tests requiring it are behind a compile definition which is off by default. So, in order to not install docker for users automatically, the dependency shall be removed.
- Loading branch information