model-checker : add min and max values for MC_RANDOM simcall

[simgrid.git] / buildtools / pipol / rc.mac

diff --git a/buildtools/pipol/rc.mac b/buildtools/pipol/rc.mac
index c14e3ea..9fc740a 100644 (file)
--- a/buildtools/pipol/rc.mac
+++ b/buildtools/pipol/rc.mac
@@ -1,7 +1,6 @@
 #!/bin/bash
 
 #sudo port install wget
-#sudo port install pcre
 #sudo port install gcc46
 #sudo port install graphviz-devel
 #sudo port install lua