Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark the smpi_exit call as noreturn, and really kill the process when exit is called
authorAugustin Degomme <adegomme@users.noreply.github.com>
Mon, 27 Sep 2021 10:07:09 +0000 (12:07 +0200)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Mon, 27 Sep 2021 10:07:09 +0000 (12:07 +0200)
commit361da673f9e66e13ce1ef5f21bc395439606c170
treeae6ad399c1644451e2e7cd17c55b51573bd0c008
parentcdd5ad26839658c32fd388db1ef3b5edbea77011
Mark the smpi_exit call as noreturn, and really kill the process when exit is called
Thanks agier
include/smpi/smpi_helpers_internal.h
src/smpi/internals/smpi_global.cpp