From: Matthieu Volat <mazhe@alkumuna.eu>
Date: Tue, 8 Nov 2016 10:29:59 +0000 (+0100)
Subject: Set waitpid() for model-checked flags according to platform.
X-Git-Tag: v3_14~140^2~6
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/37182aa1b48202ace407d6a0808c5494ebddbe85?hp=37182aa1b48202ace407d6a0808c5494ebddbe85

Set waitpid() for model-checked flags according to platform.
---