Merge commit 'bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a'
authorJames Almer <jamrial@gmail.com>
Thu, 16 Nov 2017 16:12:59 +0000 (13:12 -0300)
committerJames Almer <jamrial@gmail.com>
Thu, 16 Nov 2017 16:12:59 +0000 (13:12 -0300)
commitedef07569ccc4e10151c676bfd440412c8592f31
tree4773f75bf68a2e3da31dedf30fcec96453093763
parent1146a7a363ab7169a7713d774571b63287508cc8
parentbad7ce1d82f0b7da55086b8c6124eff0d35a1b1a
Merge commit 'bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a'

* commit 'bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a':
  makedef: Pass EXTERN_PREFIX from configure to makedef

Merged-by: James Almer <jamrial@gmail.com>
configure