Index: mttroot/mtt/bin/mtt
==================================================================
--- mttroot/mtt/bin/mtt
+++ mttroot/mtt/bin/mtt
@@ -15,10 +15,13 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Header$
 ## $Log$
+## Revision 1.407  2005/02/17 18:36:38  geraint
+## Removed a bash-ism: replaced [[ conditional ]] with [ conditional ]
+##
 ## Revision 1.406  2005/01/06 15:36:06  geraint
 ## Tidied output of options.
 ##
 ## Revision 1.405  2005/01/06 12:47:53  geraint
 ## Fixed generation of sese.r with -make-sort option.
@@ -2322,11 +2325,11 @@
 # Tidy mode - operate in the directory MTT-work
 if [ "$tidy" = "tidy" ] && [ "$level" = "0" ]; then
     # make sure that a system exists in this directory
     if [ "${sys}_${rep}.${lang}" != "${sys}_abg.dia" ] && [ "${sys}_${rep}.${lang}" != "${sys}_abg.fig" ]; then
 	nabgs=`ls ${sys}_abg.* 2>/dev/null | wc -l`
-	if [ $nabgs -eq 0 ]; then
+	if [ $nabgs -eq 0 ]&&[ -z "$sensitivity" ]; then
 	    echo "MTT Error: System $sys does not exist"
 	    exit -1;
 	fi
     fi
    mkdir -p MTT_work