common build script for all boxes
[infrastructure.git] / scripts / diff-module.sh
2007-11-05 thierryold stuff that should have been added ages ago