On Tue, Oct 8, 2024 at 8:25 PM Matthew Maurer <mmaurer@xxxxxxxxxx> wrote: > > Err, slight amendment - I think you want `-o $$TMP`, and not > `--out-dir $$TMPOUT` > > You definitely don't want `--out-dir $$TMP`, but the other two > settings above would be defensible. Ah good point. It seems like the reason that `--out-dir $$TMP` still works is that it creates a sub-directory. But I agree that this is not what we want. Alice
