add option -m for setting memory
[infrastructure.git] / scripts / 5.2.8.sh
2013-08-31 Thierry Parmentelat5.2.8