Ulf Magnusson d0e8752a52 Kconfig: Rename $ENV_VAR_{ARCH,BOARD_DIR} to $ARCH/$BOARD_DIR ... The prefixes might be a leftover from the old 'option env="..."' symbols (which are no longer needed). Since environment variables can be referenced directly now, there's no point in having a prefix. Signed-off-by: Ulf Magnusson <Ulf.Magnusson@nordicsemi.no>		2018-09-11 19:17:25 -04:00
..
build-docs.sh
check-compliance.py	Kconfig: Rename $ENV_VAR_{ARCH,BOARD_DIR} to $ARCH/$BOARD_DIR	2018-09-11 19:17:25 -04:00
get_modified_boards.py	ci: run more tests on boards that have changed	2017-08-14 13:28:42 -04:00
get_modified_tests.py	tests: run modified tests with full coverage	2017-07-28 17:03:04 -04:00
merge_junit.py
run-coverity.sh