diff options
| author | Gabriel Kerneis | 2014-08-24 09:00:12 +0200 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-08-24 09:00:12 +0200 |
| commit | 9b89699fa5c6c6a8fb5ff2ae5bbb010853b2d5cb (patch) | |
| tree | 296edf66581996b9e34e2d9dc79d118a0ab38805 /src/sail.odocl | |
| parent | cf236dc90b7e091da0929df055c88e0093a70f41 (diff) | |
Use LEM_DIR environment variable if defined
LEM_DIR must contain the *absolute* path the Lem directory.
If not defined, the previous behaviour is retained: a relative path is
used, assuming Lem is in bitbucket/lem.
Diffstat (limited to 'src/sail.odocl')
0 files changed, 0 insertions, 0 deletions