Disable the build of libmini.la when libraries are disabled.
authorZoltan Varga <vargaz@gmail.com>
Sat, 27 Oct 2012 01:10:26 +0000 (03:10 +0200)
committerZoltan Varga <vargaz@gmail.com>
Sat, 27 Oct 2012 01:10:26 +0000 (03:10 +0200)
commit7a59454e4145af107520c8fc7d9a85ffa274f980
treed4a354a49a23c23e602c356f66ceb54044409faf
parent8697ce378c065ffa0d29ed42eb127c5e000f07df
Disable the build of libmini.la when libraries are disabled.
mono/mini/Makefile.am