diff make/build.sh @ 16945:5e5f5073d713

mx: Make java file list order deterministic
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 26 Aug 2014 15:06:43 +0200
parents bab5cbf74b5f
children
line wrap: on
line diff