File tree Expand file tree Collapse file tree 2 files changed +22
-2
lines changed
Expand file tree Collapse file tree 2 files changed +22
-2
lines changed Original file line number Diff line number Diff line change 1- FROM antmicro/renode:latest
1+ FROM docker.io/ antmicro/renode:1.15.3
22
33RUN whoami
44USER root
Original file line number Diff line number Diff line change 33export RENODE_UART=/tmp/wolfboot.uart
44export RENODE_PIDFILE=/tmp/renode.pid
55export RENODE_CONFIG=tools/renode/nrf52840_wolfboot.resc
6+ export RENODE_BUILD_CONFIG=config/examples/nrf52840.config
67export POFF=262139
78export RENODE_PORT=55155
89export RENODE_OPTIONS=" --pid-file=$RENODE_PIDFILE --disable-xwt -P $RENODE_PORT "
910export EXPVER=tools/test-expect-version/test-expect-version
1011export TEST_OPTIONS=$@
1112
13+ RENODE_CONFIG_BACKUP=
14+
15+ restore_build_config () {
16+ if [ -n " $RENODE_CONFIG_BACKUP " ] && [ -f " $RENODE_CONFIG_BACKUP " ]; then
17+ mv " $RENODE_CONFIG_BACKUP " .config
18+ else
19+ rm -f .config
20+ fi
21+ }
22+
23+ prepare_build_config () {
24+ if [ -f .config ]; then
25+ RENODE_CONFIG_BACKUP=$( mktemp /tmp/wolfboot-renode-config.XXXXXX)
26+ cp .config " $RENODE_CONFIG_BACKUP "
27+ fi
28+ cp " $RENODE_BUILD_CONFIG " .config
29+ }
30+
1231quit_renode () {
1332 if (which nc); then
1433 (echo && echo quit && echo) | nc -q 1 localhost $RENODE_PORT > /dev/null
1534 fi
1635}
1736
18-
37+ trap restore_build_config EXIT
1938
2039
2140rm -f $RENODE_UART
41+ prepare_build_config
2242
2343make keysclean
2444make keytools
You can’t perform that action at this time.
0 commit comments