Skip to content

Instantly share code, notes, and snippets.

@OlegHahm
Created June 22, 2016 09:29
Show Gist options
  • Save OlegHahm/61952d70b2e66bd176b8845f32c2e212 to your computer and use it in GitHub Desktop.
Save OlegHahm/61952d70b2e66bd176b8845f32c2e212 to your computer and use it in GitHub Desktop.
`--> git di origin/master dist/testbed-support [11:28:28][0]
diff --git a/dist/testbed-support/Makefile.iotlab b/dist/testbed-support/Makefile.iotlab
index d92d716..4c19e66 100644
--- a/dist/testbed-support/Makefile.iotlab
+++ b/dist/testbed-support/Makefile.iotlab
@@ -10,6 +10,7 @@ IOTLAB_EXP_NAME ?= RIOT_EXP
IOTLAB_DEBUG_PORT ?= 3333
IOTLAB_DEBUG_NODE ?= $(shell experiment-cli get -i $(IOTLAB_EXP_ID) --resources | \
grep -m 1 "network_address" | sed 's/.*-\([0-9]*\)\..*/\1/')
+IOTLAB_LOGGING ?= 0
IOTLAB_AUTHORITY = "$(IOTLAB_USER)@$(IOTLAB_SITE).iot-lab.info"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment