From deec008c668d496bab023cda4190f1c603dcc229 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 10 Apr 2024 11:07:22 +0200
Subject: [PATCH] No taskset on osx

---
 dev-scripts/run-server | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/dev-scripts/run-server b/dev-scripts/run-server
index 821a557..9580417 100755
--- a/dev-scripts/run-server
+++ b/dev-scripts/run-server
@@ -1,2 +1,7 @@
 #!/bin/sh
-make -C ../syndicate-server binary && exec taskset -c 0,1 ../target/release/syndicate-server -c benchmark-config.pr "$@"
+TASKSET='taskset -c 0,1'
+if [ $(uname -s) = 'Darwin' ]
+then
+    TASKSET=
+fi
+make -C ../syndicate-server binary && exec $TASKSET ../target/release/syndicate-server -c benchmark-config.pr "$@"