update build script

AlbertETA · Mar 20, 2017 · 4097e64 · 4097e64
1 parent 82c2ccd
commit 4097e64
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/scripts/publish_dailybuild.sh b/scripts/publish_dailybuild.sh
@@ -24,10 +24,5 @@ if [ $CI == "true" ] && [ $CIRCLE_BRANCH == "master" ]; then
   git commit -a -m "daily build #$CIRCLE_SHA1";
   git push origin daily-build;
 
-  echo "Publishing online demo...";
-  git checkout -b gh-pages remotes/origin/gh-pages;
-  git merge daily-build -m "merge daily build #$CIRCLE_SHA1";
-  git push origin gh-pages;
-
   echo "Done.";
 fi