diff options
| author | Hans Bolinder <[email protected]> | 2016-02-17 09:19:08 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-17 09:19:08 +0100 |
| commit | 0d5820c44dde5875d322a84eab6ce4227fe19bec (patch) | |
| tree | 1b25d01a0c7cc5dc53f89dcbbf7a5eb891b5d7a6 /lib/eunit/src/eunit_proc.erl | |
| parent | f6743c5263b67013951f36e56d942d7d89ba8ba2 (diff) | |
| parent | 3270b7f32c71bf8f7637a61a09dd0e9a2dbfc8d1 (diff) | |
| download | otp-0d5820c44dde5875d322a84eab6ce4227fe19bec.tar.gz otp-0d5820c44dde5875d322a84eab6ce4227fe19bec.tar.bz2 otp-0d5820c44dde5875d322a84eab6ce4227fe19bec.zip | |
Merge branch 'hb/add_dialyzer_suppressions/OTP-12862' into maint
* hb/add_dialyzer_suppressions/OTP-12862:
xmerl: Remove 'no_return' Dialyzer warnings
xmerl: Add suppression of Dialyzer warnings
eunit: Add suppression of Dialyzer warnings
debugger: Add suppression of Dialyzer warnings
kernel: Add suppression of Dialyzer warnings
mnesia: Add suppression of Dialyzer warnings
observer: Add suppression of Dialyzer warnings
runtime_tools: Add suppression of Dialyzer warnings
stdlib: Add suppression of Dialyzer warnings
test_server: Add suppression of Dialyzer warnings
tools: Add suppression of Dialyzer warnings
Diffstat (limited to 'lib/eunit/src/eunit_proc.erl')
| -rw-r--r-- | lib/eunit/src/eunit_proc.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/eunit/src/eunit_proc.erl b/lib/eunit/src/eunit_proc.erl index 98ae31d54b..8bdf94c877 100644 --- a/lib/eunit/src/eunit_proc.erl +++ b/lib/eunit/src/eunit_proc.erl @@ -268,6 +268,8 @@ insulator_wait(Child, Parent, Buf, St) -> kill_task(Child, St) end. +-spec kill_task(_, _) -> no_return(). + kill_task(Child, St) -> exit(Child, kill), terminate_insulator(St). |