File tree 8 files changed +16
-0
lines changed
8 files changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -40,6 +40,7 @@ which $BUILD_WRAPPER ||
40
40
FORCE_BUILD=false
41
41
if [ " $1 " = " -f" ]; then
42
42
FORCE_BUILD=true
43
+ shift
43
44
fi
44
45
45
46
await_confirm () {
@@ -131,6 +132,7 @@ mkdir -p $BUILD_DIR/$REPORT_DIR
131
132
-DPAPI_PREFIX=${PAPI_HOME} \
132
133
\
133
134
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
135
+ " $@ " \
134
136
../ &&
135
137
await_confirm &&
136
138
$BUILD_WRAPPER $SCANBUILD_OPTS make) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build.cov
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -90,6 +91,7 @@ rm -Rf $BUILD_DIR/*
90
91
\
91
92
-DIPM_PREFIX=${IPM_HOME} \
92
93
-DPAPI_PREFIX=${PAPI_HOME} \
94
+ " $@ " \
93
95
../ &&
94
96
await_confirm &&
95
97
make -j 4) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build.dev
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -94,6 +95,7 @@ rm -Rf $BUILD_DIR/*
94
95
-DPAPI_PREFIX=${PAPI_HOME} \
95
96
\
96
97
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
98
+ " $@ " \
97
99
../ &&
98
100
await_confirm &&
99
101
make -j 4) && (cp $BUILD_DIR /compile_commands.json .) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build.dev
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -94,6 +95,7 @@ rm -Rf $BUILD_DIR/*
94
95
-DPAPI_PREFIX=${PAPI_HOME} \
95
96
\
96
97
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
98
+ " $@ " \
97
99
../ &&
98
100
await_confirm &&
99
101
make -j 4) && (cp $BUILD_DIR /compile_commands.json .) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build.mic
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -80,6 +81,7 @@ rm -Rf $BUILD_DIR/*
80
81
\
81
82
-DPAPI_PREFIX=${PAPI_HOME} \
82
83
-DIPM_PREFIX=${IPM_BASE} \
84
+ " $@ " \
83
85
../ &&
84
86
await_confirm &&
85
87
make -j 5) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -86,6 +87,7 @@ rm -Rf $BUILD_DIR/*
86
87
-DPAPI_PREFIX=${PAPI_HOME} \
87
88
\
88
89
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
90
+ " $@ " \
89
91
../ &&
90
92
await_confirm &&
91
93
make -j 4) && (cp $BUILD_DIR /compile_commands.json .) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build.nasty
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -101,6 +102,7 @@ rm -Rf $BUILD_DIR/*
101
102
-DPAPI_PREFIX=${PAPI_HOME} \
102
103
\
103
104
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
105
+ " $@ " \
104
106
../ &&
105
107
await_confirm &&
106
108
make -j 4) && (cp $BUILD_DIR /compile_commands.json .) &&
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ BUILD_DIR=./build
5
5
FORCE_BUILD=false
6
6
if [ " $1 " = " -f" ]; then
7
7
FORCE_BUILD=true
8
+ shift
8
9
fi
9
10
10
11
await_confirm () {
@@ -94,6 +95,7 @@ rm -Rf $BUILD_DIR/*
94
95
-DPAPI_PREFIX=${PAPI_HOME} \
95
96
\
96
97
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
98
+ " $@ " \
97
99
../ &&
98
100
await_confirm &&
99
101
make -j 4) && (cp $BUILD_DIR /compile_commands.json .) &&
You can’t perform that action at this time.
0 commit comments