Skip to content

Commit

Permalink
fix travis build
Browse files Browse the repository at this point in the history
  • Loading branch information
lee218llnl committed Jul 27, 2018
1 parent 576be0d commit 474c371
Showing 1 changed file with 9 additions and 2 deletions.
11 changes: 9 additions & 2 deletions scripts/travis-dep-builder.sh
Original file line number Diff line number Diff line change
Expand Up @@ -183,8 +183,15 @@ for pkg in $downloads; do
wget https://github.com/open-mpi/ompi/pull/3709.patch
patch -p1 < 3709.patch
fi
make -j 32 PREFIX=${prefix} || make
make -j 32 PREFIX=${prefix} install || make PREFIX=${prefix} install
if test "$name" = "v9.3.2"; then
# parallel build of dyninst was causing travis error:
# No output has been received in the last 10m0s, this potentially indicates a stalled build or something wrong with the build itself.
make PREFIX=${prefix}
make PREFIX=${prefix} install
else
make -j 32 PREFIX=${prefix}
make -j 32 PREFIX=${prefix} install
fi
if test "$name" = "launchmon-v1.0.2"; then
pushd test/src
echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope
Expand Down

0 comments on commit 474c371

Please sign in to comment.