Update minplatform

2019-10-10 21:15:03 -06:00
parent acd1724707
commit 0e1245e728
4 changed files with 40 additions and 11 deletions
--- a/scripts/deps.sh
+++ b/scripts/deps.sh
@ -20,6 +20,7 @@ then
    gnat \
    mtools \
    nasm \
+    python3-distutils \
    uuid-dev \
    zlib1g-dev
 else