From e237f76ca7f51f3a3e0577f4493e5bd4032eea98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joakim=20Frosteg=C3=A5rd?= Date: Mon, 10 Apr 2023 01:03:07 +0200 Subject: [PATCH] Remove scripts/run-aquatic-http-private.sh --- scripts/run-aquatic-http-private.sh | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 scripts/run-aquatic-http-private.sh diff --git a/scripts/run-aquatic-http-private.sh b/scripts/run-aquatic-http-private.sh deleted file mode 100755 index 9809ee8..0000000 --- a/scripts/run-aquatic-http-private.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -. ./scripts/env-native-cpu-without-avx-512 - -cargo run --profile "release-debug" -p aquatic_http_private -- $@