diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 15:18:45 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 15:18:45 +0100 |
| commit | 111bf59e8ee454973df17ce9686566ee0d9cd03a (patch) | |
| tree | 00387675543c0c6eef80329d3f2475acac0a8bdd /src/lib/pol | |
| parent | d26df9b9fd1dd50ed9c26518fcecfe2af7ca4868 (diff) | |
| download | ouroboros-111bf59e8ee454973df17ce9686566ee0d9cd03a.tar.gz ouroboros-111bf59e8ee454973df17ce9686566ee0d9cd03a.zip | |
build: Make install scripts OS agnostic
This makes the install scripts OS agnostic, since env is used to call
bash, which just uses looks for bash in the path.
Diffstat (limited to 'src/lib/pol')
0 files changed, 0 insertions, 0 deletions