CI: skip packages that have long build time

2019-05-02 21:59:37 +03:00 · 2019-05-02 21:59:37 +03:00 · d7d965db3f
commit d7d965db3f
parent 222bfdac21
1 changed files with 15 additions and 1 deletions
--- a/scripts/build/ci/determine_git_changes.sh
+++ b/scripts/build/ci/determine_git_changes.sh
@ -80,5 +80,19 @@ fi

 ## Print names of modified packages.
 for pkg in $PACKAGE_NAMES; do
+	case "$pkg" in
+		# Skip packages that known to have long build time.
+		rust|texlive)
+			{
+				echo
+				echo "Package '$pkg' cannot be built via CI because it has"
+				echo "long build time."
+				echo
+			} >&2
+			continue
+			;;
+		*)
 			echo "$pkg"
+			;;
+	esac
 done