mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-22 21:23:07 +03:00
79553e539a
* ci: fix checking for presence of CI_GITHUB_API_KEY CI_GITHUB_API_KEY is always set when evaluating job include/exclude conditions, and it only gets removed when the job starts. Move the check into the script. * ci: split build jobs into separate shell scripts
17 lines
504 B
Bash
Executable File
17 lines
504 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# $HOME/astyle directory is cached on Travis.
|
|
# If cached build is not present, download astyle and build it.
|
|
# Install built astyle binary into the home directory.
|
|
#
|
|
|
|
set -e
|
|
|
|
if [ ! -f $HOME/astyle/build/gcc/bin/astyle ]; then
|
|
wget -O astyle_3.1_linux.tar.gz https://sourceforge.net/projects/astyle/files/astyle/astyle%203.1/astyle_3.1_linux.tar.gz/download
|
|
tar -xf astyle_3.1_linux.tar.gz -C $HOME
|
|
make -C $HOME/astyle/build/gcc
|
|
fi
|
|
|
|
make -C $HOME/astyle/build/gcc prefix=$HOME install
|