Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix development installation on Windows
Fixes 3107e41 Since that commit, installing benchexec[dev] would require installation of pystemd, which does not make sense and does not work on Windows. We can fix this by declaring pystemd as a dependency only for non-Windows platforms.
- Loading branch information