]> rtime.felk.cvut.cz Git - can-benchmark.git/commitdiff
projects / can-benchmark.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dc7f5a3)
Update novaboot configuration
authorMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 15 Sep 2017 16:20:25 +0000 (18:20 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 15 Sep 2017 16:20:43 +0000 (18:20 +0200)
continuous/gw-setup/.novaboot patch | blob | history

diff --git a/continuous/gw-setup/.novaboot b/continuous/gw-setup/.novaboot
index 0cd421addd75e9f43ab858d78f7c2de71f6b692c..d77164dc7f75908b96e360873afcb04b197a8410 100644 (file)
--- a/continuous/gw-setup/.novaboot
+++ b/continuous/gw-setup/.novaboot
@@ -1 +1,3 @@
 $default_target = 'ryuglab';
+
+$targets{"ryuglab"} = '--target ryu --ssh=ryu@pc-sojkam.felk.cvut.cz';
Unnamed repository; edit this file to name it for gitweb.