From 4b5f8c3a7531659b61f76b2fc7af9bb1cb3f68bd Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Tue, 18 May 2021 23:15:45 +1000
Subject: [PATCH] release: Force re-install for pip tool dependencies.

- pdf2txt.py needed a re-install to update to the new version.
---
 install-tools | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install-tools b/install-tools
index 2004fdb..3bdd000 100755
--- a/install-tools
+++ b/install-tools
@@ -20,7 +20,8 @@ if dist_deps:
                    check=True)
 if pip_deps:
     subprocess.run(["python" + eris.tools.PYTHON_VERSION, "-m", "pip",
-                    "install"] + list(pip_deps), check=True)
+                    "install", "--force-reinstall"] + list(pip_deps),
+                   check=True)
 if go_deps:
     subprocess.run(["sudo", "apt-get", "-y", "install", "golang-go"],
                    check=True)