michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(travis): fix doxygen-upload in Linux build

Browse source
This commit is contained in:
Soonho Kong 2013-11-16 23:54:33 -05:00
parent 7548d429a0
commit e61a5271ab
1 changed files with 2 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
.travis.yml
View file

@ -246,14 +246,8 @@ after_script:
script/doxygen.sh;
DOXYGEN_DIR=doc/html;
find $DOXYGEN_DIR -type f -name "*.md5" -exec rm {} ";";
find $DOXYGEN_DIR -type f | xargs shasum | sort > doxygen_shasum.txt;
cp doxygen_shasum.txt $DOXYGEN_DIR/;
wget http://dl.dropboxusercontent.com/u/203889738/${DOXYGEN_DIR}/doxygen_shasum.txt -O doxygen_shasum_old.txt;
comm -23 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 | split -l 100 - doxygen_new_files.txt.;
echo "${DOXYGEN_DIR}/doxygen_shasum.txt" >> doxygen_new_files.txt.aa;
comm -13 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 | split -l 100 - doxygen_old_files.txt.;
ls -1 doxygen_old_files.txt.* | parallel -u -j 10 'script/dropbox_upload.py --destpath /Public --dropbox-token ${DROPBOX_KEY} --deletelist {}';
ls -1 doxygen_new_files.txt.* | parallel -u -j 10 'script/dropbox_upload.py --destpath /Public --dropbox-token ${DROPBOX_KEY} --copylist {}';
find $DOXYGEN_DIR -type f -name | split -l 100 - doxygen_new_files.txt.;
ls -1 doxygen_files.txt.* | parallel -u -j 10 'script/dropbox_upload.py --destpath /Public --dropbox-token ${DROPBOX_KEY} --copylist {}';
fi
- if [[ $LEANREPO == BLESSED && $UPLOAD ]]; then
UPLOAD_DIR=bin;