shake hangs with no config file

Stream: mathlib4

[Matthew Ballard]

I tried running shake with a blank cfg two ways: one by blanking noshake.json and two by modifying the cli to default to none when you use --cfg none. Both ended up in the same place with shake hanging.

I am curious if others can replicate.

The goal here was to clean up noshake.json a bit.

[Mario Carneiro]

shake cleans up noshake.json itself when you use --update

[Matthew Ballard]

I thought it just added the output to the noshake.json