jazzpi/embedded-rs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
141 Commits 1 Branch 0 Tags
b02a67b5f91e931c6261ca8e08a60606d6cc1836
Commit Graph
3 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Adam Greig ba27df0b57 Update comment on rerun-if-changed to better reflect what it does 2018-08-07 20:58:00 +01:00
Adam Greig f39fa8ebef Add comment to build script about rerun-if-changed, and remove redundant line for build.rs 2018-08-07 20:57:02 +01:00
Adam GreigandGitHub f88a44fd78 Remove 'monitor tpiu itm port 0 on' from .gdbinit 
This happens automatically when openocd sets up the tpiu; see openocd manual 16.5.4.
 2017-06-09 22:22:53 +01:00