#------------------------------------------------------------------------------- 
# Function to create an empty file.                                              
# Arguments: $1 filename, $2 debug switch (ksh set: +x for off, -x for on).
#------------------------------------------------------------------------------- 
                                                                                
TOUCH_FILE()                                                                     
{                                                                                
 set "$2"                                                             
 FILE="$1"                                                                       
 if [[ -f "$FILE" ]]; then                                                       
    :  # Do nothing.                                                              
 else                                                                            
    touch "$FILE"                                                                 
 fi                                                                              
}
