Remove coverage from the daily buildbot. We don't use it, it make the output…

Remove coverage from the daily buildbot. We don't use it, it make the output very big and if we want to use it, now there is better online tools that integrate with github

Remove coverage from the daily buildbot. We don't use it, it make the output…
7120c660 · Frederic · ee245777 · 7120c660
--- a/theano/misc/do_nightly_build
+++ b/theano/misc/do_nightly_build
@@ -21,7 +21,7 @@ if [ "$1" == "--buildbot" ]; then
    cd ${ROOT_CWD}/Theano
    git rev-parse HEAD
    #Run tests from inside the Theano directory to prevent import problem.
-    PROFILING="--with-coverage --cover-package=theano"
+#    PROFILING="--with-coverage --cover-package=theano"
    NOSETESTS=${ROOT_CWD}/Theano/bin/theano-nose
    export PYTHONPATH=${ROOT_CWD}:$PYTHONPATH
 else