diff --git a/mappings/schedule/extractionToPlugin.sh b/mappings/schedule/extractionToPlugin.sh index bea9f3c651b95b715d7fc8a7f4bd586ad3952aa8..4908c9268b8e733c61f1540e3dafc81468fd96aa 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 }