Remove extra "done"

Author: Jessica Lin

.jenkins/build.sh

@@ -87,7 +87,6 @@ if [[ "${JOB_BASE_NAME}" == *worker_* ]]; then
     fi
     count=$((count+1))
    done
-    done
    for filename in $(find prototype_source/ -name '*.py' -not -path '*/data/*'); do
     if [ $(($count % $NUM_WORKERS)) != $WORKER_ID ]; then
       echo "Removing runnable code from "$filename