upgrade to released version of max_rss

acheronfail · Jan 15, 2024 · fae1d99 · fae1d99
1 parent fae17ed
commit fae1d99
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -41,6 +41,6 @@ RUN cd && curl -fSL "$(curl -fSL https://ziglang.org/download/index.json | jq -r
   && rm zig.tar.xz
 ENV PATH="/root/.zig:$PATH"
 
-RUN cargo install --git https://github.com/acheronfail/max_rss.git --rev fae12f9
+RUN cargo install max_rss --version 0.1.0
 
 WORKDIR /var/count
diff --git a/justfile b/justfile
@@ -93,8 +93,8 @@ measure what:
     jq '. += {"size":"'"$(cat SIZE)"'"}' "$out" | sponge "$out"
   fi
 
-  max_rss $(cat CMD)
-  jq '. += {"rss":'$(jq '.max_rss' ./max_rss.json)'}' "$out" | sponge "$out"
+  max_rss -o STATS -- $(cat CMD)
+  jq '. += {"rss":'$(jq '.max_rss' STATS)'}' "$out" | sponge "$out"
 
 measure-all:
   #!/usr/bin/env bash