Merge branch 'master' into 'rework-energy-plugin'

[simgrid.git] / examples / s4u / io-file-remote / s4u-io-file-remote_d.xml

diff --git a/examples/s4u/io-file-remote/s4u-io-file-remote_d.xml b/examples/s4u/io-file-remote/s4u-io-file-remote_d.xml
index 188dbff..d14901b 100644 (file)
--- a/examples/s4u/io-file-remote/s4u-io-file-remote_d.xml
+++ b/examples/s4u/io-file-remote/s4u-io-file-remote_d.xml
@@ -2,9 +2,9 @@
 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
 <platform version="4.1">
   <actor host="alice" function="host">
-    <argument value = "/lib/libsimgrid.so.3.6.2"/>
+    <argument value = "/include/surf/simgrid_dtd.h"/>
     <argument value = "bob"/>
-    <argument value = "/scratch/lib/libsimgrid.so.3.6.2"/>
+    <argument value = "/scratch/include/surf/simgrid_dtd.h"/>
     <argument value = "1"/>
   </actor>
   <actor host="bob" function="host">
@@ -13,4 +13,7 @@
     <argument value = "/tmp/platforms/g5k.xml"/>
     <argument value = "0"/>
   </actor>
+  <actor host="carl" function="host">
+    <argument value = "/scratch/include/surf/simgrid_dtd.h"/>
+  </actor>
 </platform>