Merge pull request #2835 from lewurm/fix-make-dist
authormonojenkins <jo.shields+jenkins@xamarin.com>
Wed, 6 Apr 2016 01:40:27 +0000 (02:40 +0100)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Wed, 6 Apr 2016 01:40:27 +0000 (02:40 +0100)
commit496309d60b4a168648228a46baf159acb694a223
tree667d53ce3958dc13f5bb5a57b1b642d4ca922202
parent0ebac113fce97894d0a53844f62c660a27cad7f7
parent4f4b674e1754bd6036b32509ab61bbf36709e9c1
Merge pull request #2835 from lewurm/fix-make-dist

[sqlmetal] fixup for a73fb31f2 in order to fix `make dist'