From 435436f714855ce20ca0b836db9751c13bc00c5c Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Fri, 14 Sep 2018 15:30:14 +0100
Subject: [PATCH] configure: work around ImportError: cannot import name 'main'

---
 configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 5ec0607..876ada8 100755
--- a/configure
+++ b/configure
@@ -100,7 +100,9 @@ if "$qemu"; then
 fi
 if "$gem5"; then
   # Generate graphs of config.ini under m5out.
-  pip install --user pydot
+  # Not with pip directly:
+  # https://stackoverflow.com/questions/49836676/error-after-upgrading-pip-cannot-import-name-main/51846054#51846054
+  python -m pip install --user pydot
 fi
 
 ## Submodules