diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-03-28 12:13:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-03-28 12:13:58 +0200 |
| commit | 1872dd95253b4805a00bfe5dee8d1a0ed90af149 (patch) | |
| tree | 63e870f6073e9f69fd6bcd7fb4ce7da1a210309b /src | |
| parent | 326264c8e9445cb94d7fb33aab5ef93dc99ffe57 (diff) | |
| download | cuirass-1872dd95253b4805a00bfe5dee8d1a0ed90af149.tar cuirass-1872dd95253b4805a00bfe5dee8d1a0ed90af149.tar.gz | |
evaluate: Tolerate calls to 'build-things' during evaluations.
* bin/evaluate.in (main): 'build-things' replacement no longer calls 'exit'.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions