From 0f66dcc489843886d0e092126b8c47fc20a27b54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Tue, 18 Aug 2020 20:44:25 +0200 Subject: Move towards release. --- production-main | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 production-main (limited to 'production-main') diff --git a/production-main b/production-main new file mode 100644 index 00000000..44db76e5 --- /dev/null +++ b/production-main @@ -0,0 +1,2 @@ +#!/bin/bash +exec $(which guile) -c '((@ (calp main) main) (command-line))' "$@" -- cgit v1.2.3