From 337287399da7180156b4268251b78d725b79459e Mon Sep 17 00:00:00 2001 From: Jesper Eskilson Date: Wed, 31 Jan 2024 22:22:18 +0100 Subject: [PATCH] Do the compilation in setup.sh --- run.sh | 4 +--- setup.sh | 1 + 2 files changed, 2 insertions(+), 3 deletions(-) mode change 100644 => 100755 setup.sh diff --git a/run.sh b/run.sh index a98cffc..2a2723a 100755 --- a/run.sh +++ b/run.sh @@ -6,10 +6,8 @@ if [ -z "$INPUT" ]; then fi set -e -# erlc +bin_opt_info -W src/erlang_1brc.erl -erlc -W src/erlang_1brc.erl || exit 1 /bin/time -f "Elapsed time: %e seconds (%E) (%P CPU)" \ erl \ -noinput \ - -s erlang_1brc run "$1" \ + -s erlang_1brc main "$1" \ -eval "erlang:halt()." diff --git a/setup.sh b/setup.sh old mode 100644 new mode 100755 index a9bf588..7990192 --- a/setup.sh +++ b/setup.sh @@ -1 +1,2 @@ #!/bin/bash +erlc -W src/erlang_1brc.erl