commit f5ed3448b566bc0312d9a33b8e3b662ed70021a7 parent df6d3055818aa43d7a991c31de69c92aa2e1f925 Author: Florian Dold <florian.dold@gmail.com> Date: Tue, 1 Mar 2016 18:57:46 +0100 exec in arm wrapper Diffstat:
| M | arm.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/arm.sh b/arm.sh @@ -7,4 +7,4 @@ cd $HOME ulimit -c $((100 * 1024)) -gnunet-arm -c $HOME/deployment/gnunet.conf -T5s "$@" +exec gnunet-arm -c $HOME/deployment/gnunet.conf -T5s "$@"