From 140ee49ccf0353cd29c04d0d6bd5d4da69e7d0cc Mon Sep 17 00:00:00 2001
From: Determinant <ted.sybil@gmail.com>
Date: Fri, 17 Aug 2018 11:28:07 -0400
Subject: add scripts; move scripts to a new directory

---
 run_replicas.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 run_replicas.sh

(limited to 'run_replicas.sh')

diff --git a/run_replicas.sh b/run_replicas.sh
deleted file mode 100755
index 5f54787..0000000
--- a/run_replicas.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-rep=({0..3})
-if [[ $# -gt 0 ]]; then
-    rep=($@)
-fi
-for i in "${rep[@]}"; do
-    echo "starting replica $i"
-    #valgrind --leak-check=full ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
-    #gdb -ex r -ex bt -ex q --args ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
-    ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
-done
-wait
-- 
cgit v1.2.3