@@ -112,6 +112,12 @@ apply_patches () {
112
112
cd -
113
113
fi
114
114
echo " done."
115
+ if [ " $RESTORE_GDB_INFO " -eq 1 ]; then
116
+ echo " Restoring gdb info (this increases libmbed binary size, not suitable for release)"
117
+ cd mbed-os
118
+ git checkout tools/profiles/develop.json
119
+ cd -
120
+ fi
115
121
fi
116
122
}
117
123
@@ -277,11 +283,12 @@ patch_spi_h () {
277
283
# MAIN LOOP #
278
284
# ############
279
285
280
- while getopts " cuar :b:p:" opt; do
286
+ while getopts " cuagr :b:p:" opt; do
281
287
case $opt in
282
288
c ) export MBED_CLEAN=1 ;;
283
289
u ) export MBED_UPDATE=1 ;;
284
290
a ) export APPLY_PATCHES=1 ;;
291
+ g ) export RESTORE_GDB_INFO=1 ;;
285
292
r ) export LOCAL_REPO=" $OPTARG " ;;
286
293
b ) export REMOTE_BRANCH=" $OPTARG " ;;
287
294
p )
@@ -329,13 +336,15 @@ export MBED_CORE_LOCATION=${MBED_CORE_LOCATION:-$PWD}
329
336
export MBED_CLEAN=${MBED_CLEAN:- 0}
330
337
export MBED_UPDATE=${MBED_UPDATE:- 0}
331
338
export APPLY_PATCHES=${APPLY_PATCHES:- 0}
339
+ export RESTORE_GDB_INFO=${RESTORE_GDB_INFO:- 0}
332
340
export LOCAL_REPO=${LOCAL_REPO:- " " }
333
341
export REMOTE_BRANCH=${REMOTE_BRANCH:- " " }
334
342
335
343
echo
336
344
echo MBED_CLEAN=$MBED_CLEAN
337
345
echo MBED_UPDATE=$MBED_UPDATE
338
346
echo APPLY_PATCHES=$APPLY_PATCHES
347
+ echo RESTORE_GDB_INFO=$RESTORE_GDB_INFO
339
348
echo LOCAL_REPO=" $LOCAL_REPO "
340
349
echo REMOTE_BRANCH=" $REMOTE_BRANCH "
341
350
echo MBED_CORE_LOCATION=" $MBED_CORE_LOCATION "
0 commit comments