diff options
| author | Stephen Kell | 2014-10-08 16:27:04 +0100 |
|---|---|---|
| committer | Stephen Kell | 2014-10-08 16:27:04 +0100 |
| commit | 5bb5968d91f87d891305b1e53dee7322667f4faf (patch) | |
| tree | 3bf466398fbe07db4af5613c83a654e50c245f1c /src/lem_interp/run_interp.ml | |
| parent | f2b2b02654caf2e11ccef6cb459ecd27611c23a4 (diff) | |
Tweak Makefile to use absolute or relative paths consistently, fixing make behaviour that appeared to ignore ocaml depfiles.
Diffstat (limited to 'src/lem_interp/run_interp.ml')
0 files changed, 0 insertions, 0 deletions