Benjamin Valentin dad593a5f5 dist/tools/pyterm: set exclusive access on port ... A common source of error is that a user connects to a serial port that has already been opened in another terminal. This may lead to garbled output or no output at all. To avoid this, claim exclusive access on the serial port so we get a proper error instead of corrupted output.		2023-09-13 12:04:52 +02:00
..
pythonlibs	treewide: fix path to shell related tests in doc	2023-05-13 18:27:58 +02:00
testbed-support	dist/testbed-support: remove obsolete boards from iotlab archi	2023-04-26 15:02:12 +02:00
tools	dist/tools/pyterm: set exclusive access on port	2023-09-13 12:04:52 +02:00
empty.a	make: OSX: don't fail for empty .a archives	2014-06-24 20:29:32 +02:00
gdbinit-docker	tools: use 'BOARDSDIR' for the boards directory	2019-12-16 15:35:04 +01:00
Makefile	makefiles: do not locally export compilation variables	2019-08-29 10:35:36 +02:00
usb_id_testing	usb: Warn on test-ID usage in a unified location	2020-06-30 10:51:36 +02:00