simgrid_dev_working: update to fix SMPI in batsim

oar-team · Nov 29, 2018 · 5676fe9 · 5676fe9
1 parent 48451b4
commit 5676fe9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/simgrid/dev_working.nix b/simgrid/dev_working.nix
@@ -15,7 +15,7 @@ simgrid_dev.overrideAttrs (oldAttrs: rec {
   #  *               *
   # *******************
 
-  rev = "77b12b606f33a679ef2d13eeb2b9f208e2f52bc0";
+  rev = "97b4fd8e435a44171d471a245142e6fd0eb992b2";
   src = fetchTarball "https://github.com/simgrid/simgrid/archive/${rev}.tar.gz";
   doCheck = false;
 })