From ca0b8f2d2162bf96ae52042fff712f9877064d50 Mon Sep 17 00:00:00 2001 From: Shuntian Liu Date: Tue, 8 Aug 2023 12:32:28 +0100 Subject: [PATCH] Add observer script --- lib/mnesia/examples/bench/bench.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/mnesia/examples/bench/bench.sh b/lib/mnesia/examples/bench/bench.sh index fcabdd65c211..2fe8721ade10 100755 --- a/lib/mnesia/examples/bench/bench.sh +++ b/lib/mnesia/examples/bench/bench.sh @@ -15,7 +15,7 @@ ERL_TOP=~/proj/otp cd $ERL_TOP && make mnesia && \ cd $ERL_TOP/lib/mnesia/examples/bench && make && \ if [ $# -eq 0 ] ; then - $ERL_TOP/bin/erl $args + $ERL_TOP/bin/erl $args -s observer start -s bench run -s erlang halt else while [ $# -gt 0 ]; do $ERL_TOP/bin/erl $args -s bench run $1 -s erlang halt