1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 18:52:44 +01:00

Merge pull request #20181 from maribu/dist/tools/edbg/reset

tools/edbg: fix `make reset`
This commit is contained in:
Marian Buschsieweke 2023-12-14 11:00:45 +00:00 committed by GitHub
commit a4fcf219a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,7 +25,7 @@ do_flash() {
} }
do_reset() { do_reset() {
sh -c "${EDBG} ${EDBG_ARGS}" sh -c "${EDBG} ${EDBG_ARGS} -x 10"
} }
# #