Final changes.

joergen7 · Dec 13, 2017 · 85e5ed6 · 85e5ed6
1 parent 90e2854
commit 85e5ed6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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"}.