diff options
| author | Jack Lloyd <[email protected]> | 2017-11-16 21:01:48 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-16 21:03:43 -0500 |
| commit | 198cd0dda6d0944244b6166bc7aabb8d8268a683 (patch) | |
| tree | 8642138ac6f1dd4fa96c91918840085bb0a34196 /src/lib/rng | |
| parent | d1954b4702694f0d95e29fabde6c9d88b379e29c (diff) | |
Prefix execution of install.py with Python binary
Fixes GH #1297
This is done even on GNU make builds, since the same issue
affects MinGW
Diffstat (limited to 'src/lib/rng')
0 files changed, 0 insertions, 0 deletions