jenkins.sh: remove obsolete comments

Change-Id: Ia2b3769811e9409d99f3698c490f6e3abe6a3c12
This commit is contained in:
Max 2019-01-31 16:08:12 +01:00
parent 8066a41e78
commit 14474d3c66
1 changed files with 2 additions and 3 deletions

View File

@ -1,5 +1,5 @@
#!/usr/bin/env bash
# jenkins build helper script for openbsc. This is how we build on jenkins.osmocom.org
# jenkins build helper: this is how we build on jenkins.osmocom.org
if ! [ -x "$(command -v osmo-build-dep.sh)" ]; then
echo "Error: We need to have scripts/osmo-deps.sh from http://git.osmocom.org/osmo-ci/ in PATH !"
@ -37,8 +37,7 @@ cd "$base"
autoreconf --install --force
./configure --enable-sanitize --enable-external-tests --enable-werror
$MAKE $PARALLEL_MAKE
#LD_LIBRARY_PATH="$inst/lib" $MAKE check \
# || cat-testlogs.sh
LD_LIBRARY_PATH="$inst/lib" \
DISTCHECK_CONFIGURE_FLAGS="--enable-vty-tests --enable-external-tests --enable-werror" \
$MAKE distcheck \