diff options
Diffstat (limited to 'plugins/proper.mk')
| -rw-r--r-- | plugins/proper.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/proper.mk b/plugins/proper.mk index 6262199..55a2788 100644 --- a/plugins/proper.mk +++ b/plugins/proper.mk @@ -37,8 +37,8 @@ define proper_check.erl end of true -> halt(0); _ -> halt(1) - catch error:undef -> - io:format("Undefined property or module?~n~p~n", [erlang:get_stacktrace()]), + catch error:undef$(if $V,:Stacktrace) -> + io:format("Undefined property or module?~n$(if $V,~p~n)", [$(if $V,Stacktrace)]), halt(0) end. endef |