From b2d0ea2d330e56907240b18f33a1e4a905319023 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Jul 2022 23:17:29 -0400 Subject: [PATCH] add sidekick.sh launcher script --- sidekick.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 sidekick.sh diff --git a/sidekick.sh b/sidekick.sh new file mode 100755 index 00000000..15d7fdad --- /dev/null +++ b/sidekick.sh @@ -0,0 +1,3 @@ +#!/bin/sh +OPTS=--profile=release +exec dune exec $OPTS ./src/main/main.exe -- $@