diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-14 10:02:07 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-14 10:56:04 +0200 |
| commit | fcf44ed305183b2a8357f6ab90aaa2f9e1e08c59 (patch) | |
| tree | a57c658fb52de3e730dc4f7600518681e3d2257b /executor | |
| parent | bf0df4cba7dfbc276a74887be82b29b80b5488c7 (diff) | |
tools/create_btrfs_image.sh: fix script
1. Use set -eu
2. Use consistent name of the generated files
3. Add "requires: manual"
4. Fix some option combinations that lead to errors
Follow up to 2066
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions