Use short git hash for dev build id

This commit is contained in:
HenryLoenwind committed 2015-09-15 01:58:17 +02:00
1 parent f928709e52
commit ddc686b205
1 file changed
+1 -1
+1 -1
View File
@@ -17,7 +17,7 @@ if (System.getenv('BUILD_NUMBER') != null)
else {
try {
ext.buildnumber += "_" + "git rev-parse --abbrev-ref HEAD".execute().text.trim();
ext.buildnumber += "_" + "git rev-parse HEAD".execute().text.trim();
ext.buildnumber += "_" + "git rev-parse --short HEAD".execute().text.trim();
} catch (all) {}
logger.lifecycle "No build number detected, setting to ${ext.buildnumber}"
}