Merge pull request #1810 from antonio-nino-diaz-arm/an/setjmp
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 11 Feb 2019 09:58:53 +0000 (09:58 +0000)
committerGitHub <noreply@github.com>
Mon, 11 Feb 2019 09:58:53 +0000 (09:58 +0000)
commit873e394b3bf93214a441f9f98237b58fbbea55aa
tree9502a299d22c782c284d604a5fada651c2680c91
parent9beee98acc6af787b4e56a2b34a6545b0c36f829
parent70b0f2789e93f253bec5cbd2986d0de023c1bdf4
Merge pull request #1810 from antonio-nino-diaz-arm/an/setjmp

Make setjmp/longjmp compliant with the C standard and move them to libc