From 6cea8876231b17350c92132142e41a38378fd4bb Mon Sep 17 00:00:00 2001
From: Johannes Frey <mam09bin@studserv.uni-leipzig.de>
Date: Sat, 31 Aug 2019 11:35:21 +0200
Subject: [PATCH] Update extractionToPlugin.sh
---
mappings/schedule/extractionToPlugin.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/mappings/schedule/extractionToPlugin.sh b/mappings/schedule/extractionToPlugin.sh
index bea9f3c..4908c92 100755
--- a/mappings/schedule/extractionToPlugin.sh
+++ b/mappings/schedule/extractionToPlugin.sh
@@ -32,8 +32,8 @@ function name_to_variant {
function merge_to_artifact {
case $1 in
"instance-types-transitive") echo "instance-types";;
- "mappingbased-objects-disjoint-domain" echo "mappingbased-objects";;
- "mappingbased-objects-disjoint-range" echo "mappingbased-objects";;
+ "mappingbased-objects-disjoint-domain") echo "mappingbased-objects";;
+ "mappingbased-objects-disjoint-range") echo "mappingbased-objects";;
*) echo $1;;
esac
@@ -42,8 +42,8 @@ function merge_to_artifact {
function additional_content_variants {
case $1 in
"instance-types-transitive") echo "_transitive";;
- "mappingbased-objects-disjoint-domain" echo "_disjointDomain";;
- "mappingbased-objects-disjoint-range" echo "_disjointRange";;
+ "mappingbased-objects-disjoint-domain") echo "_disjointDomain";;
+ "mappingbased-objects-disjoint-range") echo "_disjointRange";;
*) echo "";;
esac
}
--
GitLab