Merge pull request #3202 from dlahoti/patch-1
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 27 Jun 2016 11:07:08 +0000 (13:07 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2016 11:07:08 +0000 (13:07 +0200)
commitfdd84f680e7cbe00daa110dba1ef4b7232628000
tree0e494cf3b99e33051a562e25758c32dfb8a472d4
parent5221f80822a794807bcfe385f6d5fb1d101f9d5c
parentd7962daf42babaee5d7490a03f08b37380b8a7c6
Merge pull request #3202 from dlahoti/patch-1

make monodis exit with value 1 on an error