From 9c2e812336b46a5340dde6401bf55b8b9660fec0 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 30 Oct 2015 16:33:14 +0100
Subject: [PATCH] make debugmode can push this code on board a node in debug
 mode (aka safeboot)

---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Makefile b/Makefile
index d7ad72e..f7add42 100644
--- a/Makefile
+++ b/Makefile
@@ -50,3 +50,14 @@ tags:
 	git ls-files | xargs etags
 
 .PHONY: tags
+
+##########
+# this one is for overwriting the code in /tmp/source on a node
+# that is in debug mode
+ifndef NODE
+debugmode:
+	echo run make debugmode NODE=a-real-ple-node
+else
+debugmode:
+	rsync -av -e 'ssh -i /Users/parmentelat/.ssh/ple_debug.rsa' ./source/ root@$(NODE):/tmp/source/
+endif
-- 
2.43.0