Skip to main content

Browse the archive

Revision ca9f0de7353f1e666d247691e872c2f46273a7ed authored by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC, committed by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC 
Use pipes instead of sockets for communications with the workers.
1 parent d1f007e
Raw File
INSTALL 
To install this program, just type

make; make install

To uninstall, type

make uninstall
back to top