[F#] Reinstate _DebugFileExt as it's needed for mobile debugging. (#5534)
authorJason Imison <nosami@users.noreply.github.com>
Fri, 8 Sep 2017 22:07:07 +0000 (00:07 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 8 Sep 2017 22:07:07 +0000 (00:07 +0200)
commitd7609da34c19df9229288cf1260a36a256731893
treebc5b7885e9bb63afe5b0f3c11c668e9158d0c7d3
parent098f6e8aa8ead1a80b751fa34e5e049439c2f0c3
[F#] Reinstate _DebugFileExt as it's needed for mobile debugging. (#5534)

Also added a mechanism for users to override DebugType
packaging/MacSDK/patches/fsharp-portable-pdb.patch