Merge branch 'master' into 1036-local

This commit is contained in:
Arfon Smith
2014-10-23 12:16:51 +01:00
3 changed files with 32 additions and 0 deletions

View File

@@ -0,0 +1,30 @@
set -e
echo "/************/"
echo "/* BUILDING */"
echo "/************/"
echo ""
cd `dirname $0`
cd build
cmake ..
make
echo ""
echo "/***********/"
echo "/* TESTING */"
echo "/***********/"
echo ""
# ctest ..
make Experimental
echo ""
echo "/***********/"
echo "/* SUCCESS */"
echo "/***********/"
echo ""