Merge pull request #1622 from pchaigno/shell-extensions

Add .command as a Shell file extension
This commit is contained in:
Arfon Smith
2014-10-23 10:54:05 +01:00
2 changed files with 31 additions and 0 deletions

View File

@@ -2202,6 +2202,7 @@ Shell:
- .bash
- .bats
- .cgi
- .command
- .fcgi
- .tmux
- .zsh

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 ""