From 558c07738c8a609411544ac415a6ffa0d77f5887 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 26 Dec 2013 02:34:22 -0500
Subject: [PATCH] chore(travis): fix package name

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 5677554038..5ae4752721 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -308,7 +308,7 @@ after_script:
       fi;
       mkdir ${UPLOAD_DIR};
       if [[ $LEANREPO == BLESSED && $PACKAGE == TRUE ]]; then
-          cp -v build/*.zip ${UPLOAD_DIR}/;
+          cp -v build/lean*.tar.gz ${UPLOAD_DIR}/;
       fi
       cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY};
       tar cvfz ${UPLOAD_DIR}/${ARCHIVE_BINARY}.tar.gz ${UPLOAD_DIR}/${BINARY};