diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 10:57:47 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 10:57:47 +0100 |
| commit | 5d549c5bb793d4186559f77494f0ffce9fa15e61 (patch) | |
| tree | 1722eebb0528d4154927431dd4edee18b1f4750e /Makefile.am | |
| parent | 4052368bb5372a9f4c6164ef71d3bcd7ede9e81b (diff) | |
scripts: Add worker option to refresh database.
* scripts/mumi.in: Update the mu index and the Sqlite database when
the "--worker" option is provided.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions