make debugmode can push this code on board a node in debug mode (aka safeboot)
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 30 Oct 2015 15:33:14 +0000 (16:33 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 30 Oct 2015 15:33:14 +0000 (16:33 +0100)
Makefile

index d7ad72e..f7add42 100644 (file)
--- 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