[m-rev.] diff: Fix decode_system_command_exit_code returning negative signal numbers.

Peter Wang novalazy at gmail.com
Tue Mar 8 13:14:22 AEDT 2022


library/io.call_system.m:
    As above.

diff --git a/library/io.call_system.m b/library/io.call_system.m
index 2f11b417d..d1144204c 100644
--- a/library/io.call_system.m
+++ b/library/io.call_system.m
@@ -316,7 +316,7 @@ decode_system_command_exit_code(Code0) = Status :-
             Status = WEXITSTATUS(Status0);
         } else if (WIFSIGNALED(Status0)) {
             Signalled = MR_YES;
-            Signal = -WTERMSIG(Status0);
+            Signal = WTERMSIG(Status0);
         }
     #else
         Exited = MR_YES;
-- 
2.31.0



More information about the reviews mailing list