Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-21 10:52:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

cleanup clone_library

Browse Source
This commit is contained in:
Links
2021-01-06 09:39:19 +01:00
parent 2f21590e55
commit 0e729cd896
1 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
travis/common.sh
View File

@ -86,8 +86,6 @@ function get_sketches_json_matrix()
done
}
function get_core()
{
echo Setup core for $1
@ -115,3 +113,19 @@ function get_core()
fi
}
function clone_library() {
local url=$1
echo clone $(basename $url)
mkdir -p $HOME/Arduino/libraries
cd $HOME/Arduino/libraries
git clone --depth 1 $url
rm -rf */.git
rm -rf */.github
rm -rf */examples
}
function hash_library_names() {
cd $HOME/Arduino/libraries
ls | sha1sum -z | cut -c1-5
}