diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2017-02-14 18:35:57 +0100 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2017-04-28 17:02:48 +0200 |
| commit | 7ee09377e7e3c64ee56514bf455cf04064208a27 (patch) | |
| tree | 8751e0a74299d3133771f176ad835ec3da54ada6 /tools | |
| parent | 0f3c2d031a0a2d040cedfc6e51b97f223e17da87 (diff) | |
| download | upstream-7ee09377e7e3c64ee56514bf455cf04064208a27.tar.gz upstream-7ee09377e7e3c64ee56514bf455cf04064208a27.tar.bz2 upstream-7ee09377e7e3c64ee56514bf455cf04064208a27.zip | |
feeds: add option to force feed update despite modified files
Implement a new flag "-f" for the feeds update command which causes the
script to fall back to a more agressive git update strategy in case there
are locally modified files in the feeds directory.
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions