view mx.sh @ 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 9a4f210abb5e
children
line wrap: on
line source

mxtool/mx