Skip to content

Commit 35f1de9

Browse files
committed
Better error handling
1 parent 532d758 commit 35f1de9

File tree

1 file changed

+7
-2
lines changed

1 file changed

+7
-2
lines changed

dev/conda/build-generic.sh

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,8 +115,13 @@ then
115115
export R_HOME=$( R RHOME )
116116

117117
log "Installing RInside into $R_HOME ..."
118-
Rscript $DEV_CONDA/install-RInside.R 2>&1 | \
119-
tee $RECIPE_DIR/install-RInside.log
118+
(
119+
# Allow pipe errors here:
120+
# we put token "Swift-RInside-SUCCESS" in the log:
121+
set +o pipefail
122+
Rscript $DEV_CONDA/install-RInside.R 2>&1 | \
123+
tee $RECIPE_DIR/install-RInside.log
124+
)
120125
if ! grep -q "Swift-RInside-SUCCESS" $RECIPE_DIR/install-RInside.log
121126
then
122127
abort "Installing RInside failed."

0 commit comments

Comments
 (0)