support specifying only certain projects to be built

I frequently want to do this, but I basically never want to pass
options to dbuild, which is what the script allowed easily before.

now we can just do e.g.:
  ./run.sh scalatest,scalacheck,specs2
or equivalently in Jenkins specify scala_build_extra_opt to be
"scalatest,scalacheck,specs" (I should update Jenkins to use
a more meaningful name for this)

Author: SethTisue

run.sh

@@ -3,7 +3,10 @@
 # This script is suitable for local use.
 # It is also invoked by Jenkins (from scripts/jobs/integrate/community-build).
 
-# usage: ./run.sh [<dbuild-options>]
+# usage:
+# ./run.sh
+# ./run.sh project1
+# ./run.sh project1,project2,project3
 
 set -e
 set -o pipefail
@@ -40,8 +43,8 @@ fi
 # use -n since running locally you don't want notifications sent,
 # and on our Jenkins setup it doesn't actually work (for now anyway)
 
-echo "dbuild-${DBUILDVERSION}/bin/dbuild" -n "${@}" "$DBUILDCONFIG"
-"dbuild-${DBUILDVERSION}/bin/dbuild" -n "${@}" "$DBUILDCONFIG" 2>&1 | tee "dbuild-${DBUILDVERSION}/dbuild.out"
+echo "dbuild-${DBUILDVERSION}/bin/dbuild" -n "$DBUILDCONFIG" "${@}"
+"dbuild-${DBUILDVERSION}/bin/dbuild" -n "$DBUILDCONFIG" "${@}" 2>&1 | tee "dbuild-${DBUILDVERSION}/dbuild.out"
 STATUS="$?"
 BUILD_ID="$(grep '^\[info\]  uuid = ' "dbuild-${DBUILDVERSION}/dbuild.out" | sed -e 's/\[info\]  uuid = //')"
 echo "The repeatable UUID of this build was: ${BUILD_ID}"

scripts/jobs/integrate/community-build

@@ -7,4 +7,8 @@ set -e
 rm -rf target-$DBUILDVERSION/project-builds
 rm -rf target-$DBUILDVERSION/extraction
 
-scripts/run.sh "${@}"
+# TODO: in scala-jenkins-infra, make an actual parameter for
+# specifying projects to be built, instead of hijacking the
+# "scala_build_extra_opt" name for that purpose
+
+./run.sh $scala_build_extra_opt