sort out pinmux

diff --git a/hdl-dev-repos b/hdl-dev-repos
index 17df9444261d343c08cf2210f454eb5ed24675ef..ba3d1e7b67f925160dbcfd604db9af90f2f41348 100755 (executable)
--- a/hdl-dev-repos
+++ b/hdl-dev-repos
@@ -57,6 +57,10 @@ python3 setup.py develop
 cd ../soc
 make gitupdate
 python3 setup.py develop
+# sigh sort out pinmux
+cd pinmux
+git checkout d96f737c0a53dde983
+cd ..
 make mkpinmux
 
 cd ../

diff --git a/hdl-dev-repos-virtualenv b/hdl-dev-repos-virtualenv
index f63b9ced4b5b42c638cf1b27de8c17bd69faad98..321321c610c33a3d8387aa2adc54722a8427631b 100755 (executable)
--- a/hdl-dev-repos-virtualenv
+++ b/hdl-dev-repos-virtualenv
@@ -52,6 +52,11 @@ python3 setup.py develop
 cd ../soc
 make gitupdate
 python3 setup.py develop
+# sigh sort out pinmux
+cd pinmux
+git checkout d96f737c0a53dde983
+cd ..
+
 make mkpinmux
 
 # comment this out - takes too long.  run it manually