From 17377b483bf561961e4e33d952672296c33bfa12 Mon Sep 17 00:00:00 2001
From: Sam Al-Sapti <sam@sapti.me>
Date: Mon, 15 May 2023 00:07:42 +0200
Subject: [PATCH] Edit run.sh

---
 src/run.sh | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/src/run.sh b/src/run.sh
index 106ab05..48960ed 100755
--- a/src/run.sh
+++ b/src/run.sh
@@ -1,12 +1,14 @@
 #!/usr/bin/env bash
 
+PROG="semi2k-party.x"
+
+if [[ $1 == "-k" ]]; then
+    killall "$PROG"
+    exit "$?"
+fi
+
 cd "$(dirname "$0")/MP-SPDZ" || exit 1
 
-if [[ $1 == "-k" ]]; then
-    killall semi2k-party.x
-    exit $?
-fi
-
 for i in $(seq 0 2); do
-    ./semi2k-party.x -v -N 3 -p "$i" -e gale_shapley > "../out-p$i.txt" 2>&1 &
+    "./$PROG" -v -N 3 -p "$i" -e gale_shapley > "../out-p$i.txt" 2>&1 &
 done