-#!/bin/sh
+#!/bin/bash
if [ ! -f $PWD/scripts/CreaTools-configure.sh ]
then
-#!/bin/sh
+#!/bin/bash
if [ $UID = 0 ]
-#!/bin/sh
+#!/bin/bash
# Set all local variables
-#!/bin/sh
+#!/bin/bash
#
# This one is here just in order not tp duppliacte the following code
-#!/bin/sh
+#!/bin/bash
echo "in uninstall"
if [ $UID = 0 ]
-#!/bin/sh
+#!/bin/bash
if [ ! -f $PWD/scripts/CreaTools-configure.sh ]
then
echo
-#!/bin/sh
+#!/bin/bash
# $1 : bbtk
# $2 : generationdir
-#!/bin/sh
+#!/bin/bash
currentdir=$2
installPrefix=$3
-#!/bin/sh
+#!/bin/bash
# $1 : 'creaImageIO'
# $2 : generationdir
-#!/bin/sh
+#!/bin/bash
# $1 : bbtk
# $2 : generationdir
-#!/bin/sh
+#!/bin/bash
# $1 : bbtk
# $2 : generationdir
-#!/bin/sh
+#!/bin/bash
# $1 : 'creaEnvironment'
# $2 : generationdir