File tree Expand file tree Collapse file tree 1 file changed +14
-2
lines changed Expand file tree Collapse file tree 1 file changed +14
-2
lines changed Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ echo " with assertion enabled, and then build"
99echo " debug: configure the build with debug options and then"
1010echo " build."
1111echo " repeat: skip configure, just build and install"
12- echo " "
12+ echo " "
1313
1414set -e
1515pushd " $( dirname " ${BASH_SOURCE[0]} " ) "
@@ -67,7 +67,19 @@ bash ./build.sh -r -t release
6767fi
6868cd $CODEHOME
6969
70- make -sj 16
70+ function error_retry {
71+ echo " Paxos library build failed, try again!"
72+ cd $CODEHOME /src/backend/polar_dma/libconsensus/polar_wrapper
73+ if [[ " $BLD_OPT " == " debug" ]]; then
74+ bash ./build.sh -r -t debug -c ON
75+ else
76+ bash ./build.sh -r -t release -c ON
77+ fi
78+ cd $CODEHOME
79+ make -sj 16
80+ }
81+
82+ make -sj 16 || error_retry " build retry!"
7183make install
7284
7385# extensions
You can’t perform that action at this time.
0 commit comments