mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-10-15 09:17:44 -04:00
3 lines
105 B
Bash
Executable file
3 lines
105 B
Bash
Executable file
#!/bin/bash -eu
|
|
|
|
NO_COVERAGE=1 EXTRA_VERIFAST_ARGS=-stats make queue list | grep overhead: | sort | uniq
|