Merge pull request #273 from hhromic/backport-marm
authorTwinaphex <libretro@gmail.com>
Sat, 20 Apr 2019 13:47:44 +0000 (15:47 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Apr 2019 13:47:44 +0000 (15:47 +0200)
commit360664e28b0a695710b4191b2963d4f41f066519
treebd2a4774c3271a5f20d8023870f19ee6442cb8a3
parente1d8eb0f131f9e7e838ec5658345e51ebcc3179c
parent4abd2871cc87171bf7e6ca8a3b42ade92e754402
Merge pull request #273 from hhromic/backport-marm

Backport check for Thumb instructions from configure script