diff options
author | Aria Shrimpton <me@aria.rip> | 2024-04-01 19:12:12 +0100 |
---|---|---|
committer | Aria Shrimpton <me@aria.rip> | 2024-04-01 19:12:12 +0100 |
commit | a0c19f7f9dff15228490f37dbd5e6053e80cb05c (patch) | |
tree | 08d6ce3ad9c8dfbb092438797752b0d180b3f8c9 /analysis | |
parent | 8b7687ff151a0e57e5b0d9cf10258657e0d2b7c2 (diff) |
more repro stuff
Diffstat (limited to 'analysis')
-rw-r--r-- | analysis/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/analysis/README.md b/analysis/README.md index c2311e5..d883113 100644 --- a/analysis/README.md +++ b/analysis/README.md @@ -10,7 +10,7 @@ To use new data, first generate some new data locally. In `../src/`: ``` $ just cost-models # approx 10m -$ just comparisons 2>&1 | tee ../analysis/current/log # approx 1hr 30m +$ just selections --compare 2>&1 | tee ../analysis/current/log # approx 1hr 30m ``` We need to also write the log output when comparing since we use this during analysis. To put this data in the right place, in `../analysis`: |