Tooling changes, some socket code.
[tlb/tomd.git] / run.sh
1 sudo ./kill-tomd.sh; rm ./tomd; make && sudo ./tomd;