add debian 11, migrate to ninja

2021-09-08 11:12:52 +03:00
parent c8dd5b4c50
commit 8c94c2fb6f
9 changed files with 55 additions and 37 deletions
--- a/2
+++ b/2
@@ -37,7 +37,7 @@ node {
 	sh "rm -rvf ${rel_dir}"
 	sh "mkdir -p ${rel_dir}"
 	def _msg = "Built images:"
-	def platforms = ['debian', 'osx', 'windows', 'windows32', 'android', 'pi', 'ubuntu']
+	def platforms = ['debian', 'debian11', 'osx', 'windows', 'windows32', 'android', 'pi', 'ubuntu']
 	for (int i = 0; i < platforms.size(); ++i) {
 		if (_envmap["BUILD_${platforms[i]}"] == "1") {
 			stage("${platforms[i]}-shstk") {