mirror of
https://github.com/mat007/turtle.git
synced 2026-06-22 12:13:43 +00:00
Fixed shell build script to exit upon error
This commit is contained in:
parent
a178fc442a
commit
71a7f6d9c4
1 changed files with 1 additions and 1 deletions
|
|
@ -12,7 +12,7 @@ copy()
|
|||
cp $@
|
||||
}
|
||||
|
||||
set -x
|
||||
set -ex
|
||||
|
||||
export BOOST=$BOOST_ROOT
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue