script: updated build.sh script and git_pre_commit hook to new build directory

This commit is contained in:
Eberhard Graether
2017-02-06 10:57:51 +01:00
parent 7f2db69995
commit 9ebb46f1b5
2 changed files with 7 additions and 7 deletions
+1 -1
View File
@@ -58,7 +58,7 @@ function run_tests {
cd bin/test
echo $1/Coati_test
$1/Coati_test
../../build/$1/test/Coati_test
if [ $? -eq 0 ]
then
echo -e $PASS $1 Tests passed