Make sure Alias0.dir is always in the build_dir
This commit is contained in:
parent
92220d34a3
commit
0f648f1387
|
@ -233,6 +233,11 @@ module Alias0 = struct
|
||||||
|
|
||||||
let make name ~dir =
|
let make name ~dir =
|
||||||
assert (not (String.contains name '/'));
|
assert (not (String.contains name '/'));
|
||||||
|
if not (Path.is_in_build_dir dir) then
|
||||||
|
Exn.code_error "Alias0.make: Invalid alias"
|
||||||
|
[ "name", Sexp.To_sexp.string name
|
||||||
|
; "dir", Path.sexp_of_t dir
|
||||||
|
];
|
||||||
{ dir; name }
|
{ dir; name }
|
||||||
|
|
||||||
let stamp_file t =
|
let stamp_file t =
|
||||||
|
|
Loading…
Reference in New Issue