From 1bb30c485de0c9f274ebe4389fbe83b686f34fe2 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Fri, 9 Sep 2022 16:56:44 +0200
Subject: [PATCH] also add "-dev" to version for better version ordering
---
dumpAst.base/build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dumpAst.base/build.gradle b/dumpAst.base/build.gradle
index 96fd0c0..c813e63 100644
--- a/dumpAst.base/build.gradle
+++ b/dumpAst.base/build.gradle
@@ -147,7 +147,7 @@ task newVersion() {
task setDevVersionForCI() {
doFirst {
def props = new Properties()
- props['version'] = version + "-$System.env.CI_PIPELINE_IID"
+ props['version'] = version + "-dev-$System.env.CI_PIPELINE_IID"
props.store(file(versionFile).newWriter(), null)
}
}
--
GitLab