make the changes default

This commit is contained in:
Maxime Gimeno 2018-01-11 12:31:00 +01:00
parent 108856d978
commit 30357ebdbc
1 changed files with 6 additions and 9 deletions

View File

@ -116,7 +116,6 @@ do
cd ..
exit 0
fi
IFS=$old_IFS
if [ -n "$TRAVIS_PULL_REQUEST" ] && [ "$ARG" != Polyhedron_demo ]; then
DO_IGNORE=FALSE
@ -139,15 +138,13 @@ do
if [ -d "$ROOT/$EXAMPLES" ]
then
cd $ROOT/$EXAMPLES
build_examples
elif [ "$ARG" = BGL ]; then
EXAMPLES=$ROOT/BGL/examples
cd $EXAMPLES
for dir in ./BGL*
cd $ROOT/$EXAMPLES
for dir in ./*
do
cd $EXAMPLES/$dir
build_examples
if [ -d $dir ]; then
cd $ROOT/$EXAMPLES/$dir
build_examples
fi
done
elif [ "$ARG" != Polyhedron_demo ]; then
echo "No example found for $ARG"