diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci-install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/ci-install.sh b/scripts/ci-install.sh index f5a18612..470bab46 100755 --- a/scripts/ci-install.sh +++ b/scripts/ci-install.sh @@ -20,6 +20,7 @@ PKGS="virtualenv python2-dev libffi-dev build-essential" PKGS="${PKGS} gcc-avr avr-libc" PKGS="${PKGS} libnewlib-arm-none-eabi gcc-arm-none-eabi binutils-arm-none-eabi" PKGS="${PKGS} pv libmpfr-dev libgmp-dev libmpc-dev texinfo bison flex" +sudo apt-get update sudo apt-get install ${PKGS} |