diff options
| author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2016-11-28 01:04:17 +0100 |
|---|---|---|
| committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-05-19 03:43:26 +0200 |
| commit | 8baabac65b7683d823822c3179eb1acb76cf9cfc (patch) | |
| tree | edac0a5e47f689e7e1766d2531dcbb9757a33a6f /Makefile.in | |
| parent | 19fec985e98707cebf11c3fce2531df1c2a666dd (diff) | |
separate creation and upload of the update info
Change-Id: I809866f0425b8e85b396692f60c936351aca39ad
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index a898ef716196..e835d0d18f7f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -423,6 +423,9 @@ upload-symbols: create-update-info: $(MAKE) -f $(SRCDIR)/Makefile.gbuild create-update-info +upload-update-info: + $(MAKE) -f $(SRCDIR)/Makefile.gbuild upload-update-info + dump-deps: @$(SRCDIR)/bin/module-deps.pl $(MAKE) $(SRCDIR)/Makefile.gbuild |