Patch CoreMedia Korn Shell based generic tools starter for use with bash

coremedia-bin-cm-for-bash.patch

--- ../../../../cmd-tools/cms-tools-application/target/cms-tools/bin/cm	2016-11-28 00:24:07.000000000 +0100
+++ bin/cm	2016-11-29 11:09:06.018023000 +0100
@@ -1,4 +1,4 @@
-#!/bin/ksh
+#!/bin/sh
 #
 # Copyright (c) 1998-2012 CoreMedia AG, Hamburg. All rights reserved.
 #
@@ -13,7 +13,7 @@
 # If JAVA_MAIN_ARGS is set in the progname.jpif file, these arguments are passed to the
 # Java main class.
 
-PRG=`whence $0` >/dev/null 2>&1
+PRG=$0 >/dev/null 2>&1
 
 # resolve links - $0 may be a link to corem.home
 while [ -h "$PRG" ] ; do
@@ -32,10 +32,8 @@
 {
   APPS=""
   for x in $BIN/*.jpif ; do
-    p=`expr "$x" : '.*/\(.*\)\.jpif$'`
-    if [ "$p" != common -a "$p" != config ] ; then 
+      p=`basename $x .jpif`
       APPS="$APPS $p"
-    fi
   done
   if [ \! -z "$APPS" ] ; then
     echo "Usage: $0 application parameter*"