Add .command as a Shell file extension

This commit is contained in:
Paul Chaignon
2014-10-21 19:07:03 -04:00
parent 2a66b754c2
commit 6b0783936f
2 changed files with 31 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 ""