Tutorials (!44) · Merge requests · TNL / tnl-dev · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

An error occurred while fetching the assigned milestone of the selected merge_request.

Merged Tomáš Oberhuber requested to merge tutorials into develop 5 years ago

Viewing commit 69de1fb0

Show latest version

2 files

+ 11

− 3

Files

2

69de1fb0

Scipts install and build end with error code when build fails. · 69de1fb0
Tomáš Oberhuber authored 5 years ago

+ 3

− 1

@@ -202,7 +202,9 @@ if [[ "$make" != "make" ]] && [[ "$VERBOSE" ]]; then
   VERBOSE="-v"
fi

$make ${VERBOSE} $make_target
if ! $make ${VERBOSE} $make_target; then
   exit 1
fi

if [[ ${WITH_DOC} == "yes" ]]; then
   "$ROOT_DIR/Documentation/build" --prefix="$PREFIX"