From 85e5ed6422184ed0aaa60ae45d1f6e0ba9d4dbe0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rgen=20Brandt?= <joergen.brandt@onlinehome.de>
Date: Wed, 13 Dec 2017 12:58:25 +0100
Subject: [PATCH] Final changes.

---
 rebar.config | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/rebar.config b/rebar.config
index c36a4df..1833fae 100644
--- a/rebar.config
+++ b/rebar.config
@@ -6,9 +6,8 @@
         {gen_pnet, "0.1.7"}
        ]}.
 
-{eunit_opts, [verbose]}.
 {cover_enabled, true}.
 
 {escript_incl_apps, [gen_pnet, lib_combin]}.
-{escript_emu_args, "%%! -sname cre\n"}.
+{escript_emu_args, "%%! -connect_all false -sname cre\n"}.