fix reproduce scripts

This commit is contained in:
Julien Cretin
2021-08-05 11:54:53 +02:00
committed by Julien Cretin
parent d25f65c565
commit 7a812a657b
3 changed files with 8 additions and 2 deletions

View File

@@ -17,7 +17,13 @@ help() {
Usage: $PROGRAM {apply|save}
apply Applies the patches to the Tock submodule.
This resets Tock and can always be called.
save Saves the Tock submodule to the patches.
Should only be called after apply and when all changes have been
added to a commit. After saving, you can run ./setup.sh to return
to normal state. Otherwise you can continue editing Tock and
calling save.
EOF
exit 0
}