From dfa2f65c5f4d351855b94c587ff6a84456d2beae Mon Sep 17 00:00:00 2001 From: ccd0 Date: Mon, 30 May 2016 03:08:07 -0700 Subject: [PATCH] Fix make update shrinkwrapping version from old shrinkwrap. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index dad244df6..45357473b 100644 --- a/Makefile +++ b/Makefile @@ -343,12 +343,14 @@ web : index.html distready cd dist && git commit -am "Update web page." update : + $(RM) npm-shrinkwrap.json npm install --save-dev $(shell node tools/unpinned.js) npm install npm shrinkwrap --dev $(call CAT,npm-shrinkwrap.json,src/meta/npm-shrinkwrap.json) updatehard : + $(RM) npm-shrinkwrap.json npm install --save-dev $(shell node tools/unpinned.js latest) npm install npm shrinkwrap --dev