From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 11 Apr 2014 08:57:45 +0000 (+0200)
Subject: Make xbt_abort really silent on Windows.
X-Git-Tag: v3_11~120^2~15
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fc35d943e1d39d2511d0aa870be417d2bc714d6b?ds=sidebyside;hp=fc35d943e1d39d2511d0aa870be417d2bc714d6b

Make xbt_abort really silent on Windows.

Another option was to make a call to
    _set_abort_behavior(0, _WRITE_ABORT_MSG | _CALL_REPORTFAULT)
but it seems that it's currently not supported by mingw.

Moreover, make xbt_abort a real function.
---