diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-27 20:40:05 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-27 21:01:22 +0200 |
| commit | cffd94aae48dac005d820dd667498bbbb09ab117 (patch) | |
| tree | 2e75316289301a5b78b2b9f9f08dd04e6120f8d9 /src/tools/irm/irm_ops.h | |
| parent | 25b12e206d22125b7d403d1339738f5bb4a468b5 (diff) | |
| download | ouroboros-cffd94aae48dac005d820dd667498bbbb09ab117.tar.gz ouroboros-cffd94aae48dac005d820dd667498bbbb09ab117.zip | |
build: correct sandboxing
paths cannot start with "/" or PREFIX will be omitted. PREFIX must be
set before the project() call.
Diffstat (limited to 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions