comparison mxtool/mx.py @ 5870:d84a26dc32f5

Make 'db' directory from JDK optional since it does not exists in all OpenJDK-based JDKs (cf. Icedtea)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 20 Jul 2012 14:40:17 +0200
parents 2c00c51357d8
children c21886d4e125
comparison
equal deleted inserted replaced
5869:246d27834017 5870:d84a26dc32f5