improving checking and avoid false/positive
authorJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 24 Sep 2014 19:09:44 +0000 (21:09 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 24 Sep 2014 19:09:44 +0000 (21:09 +0200)
commitcf7f2e8db318afdc62f24577251972743e5adfd2
tree6018de81fcde1ec5010a41c62b3976bdfd04d443
parent58d4788f69029b757593c67d8fe08eafdcfe224b
improving checking and avoid false/positive
scripts/check.sh