diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2021-05-23 14:33:35 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-05-23 16:55:50 -0700 |
commit | 2aabb645f3be33be0aab96ba234a43178f1da865 (patch) | |
tree | b3de2a250cd775abf58282ff55dde87429c7d8ae /scripts | |
parent | 1cecafcc3b4a25f56af4b5274cc88913de8779c8 (diff) | |
download | consfigurator-2aabb645f3be33be0aab96ba234a43178f1da865.tar.gz |
ensure we fail if COMPILE-FILE* fails
Possibly the load might succeed but the compilation fail, and the user should
be informed.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions