diff options
| author | Bernard Xiong <[email protected]> | 2019-07-12 13:54:13 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-07-12 13:54:13 +0800 |
| commit | 34fa16cb70fff89b6a94bda73ce2cde490bb73a6 (patch) | |
| tree | d3c222ad81cdc020db6e92689701a1cd12016d9a /tools/building.py | |
| parent | b94e84b9fc524712b0db6df5845555553e5f96dd (diff) | |
| parent | df3a9e573f262099fd0be9938d575d68593f6d1c (diff) | |
Merge pull request #2846 from enkiller/irq
[src][irq] 添加 WEAK 修饰，中断嵌套数可由外部提供。
Diffstat (limited to 'tools/building.py')
0 files changed, 0 insertions, 0 deletions