cleanup branch

This commit is contained in:
laurent
2020-05-20 15:44:20 +02:00
parent e376241a82
commit bdee45878a
52 changed files with 150 additions and 3343 deletions
+5
View File
@@ -183,11 +183,15 @@ compilations() {
else
COV_SCAN_PREFIX=""
fi
if [ "$MAKE_CMD" != "" ]; then
$MAKE_CMD $2
else
if [ "$VERBOSE_COMPILE" == "1" ]; then
$COV_SCAN_PREFIX make -j`nproc` $2 VERBOSE=$VERBOSE_COMPILE
else
$COV_SCAN_PREFIX make -j`nproc` $2
fi
fi
} > $dlog/$2.$REL.txt 2>&1
set -e
@@ -619,6 +623,7 @@ check_install_oai_software() {
build-essential \
cmake \
cmake-curses-gui \
ninja-build \
doxygen \
doxygen-gui \
texlive-latex-base \