diff -r 3e8cbb624cc5 -r 7f120d227ca5 lib/Tools/build
--- a/lib/Tools/build	Tue May 06 23:35:24 2014 +0200
+++ b/lib/Tools/build	Wed May 07 10:13:31 2014 +0200
@@ -144,7 +144,7 @@
 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \
   "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
   "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
-  "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \
+  "${INCLUDE_DIRS[@]}" $'\n' "${SELECT_DIRS[@]}" $'\n' \
   "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
 RC="$?"