Révision 3171 tmp/org.txm.setups/pushTXMUpdateToGIT.sh

pushTXMUpdateToGIT.sh (revision 3171)
17 17 
TXMGITLOCAL="dist/$VERSION/main/$LEVEL"
18 18 
TXMGIT=$TXMGITROOT/$TXMGITLOCAL
19 19 

  		





  
  20
  
    
mkdir -p $TXMGIT


  		





  
  21
  
    

  		





  20
  22
  
    
if [ ! -d "$TXMGIT" ]; then


  		





  21
  23
  
    
	echo "** Error the GIT directory does not exists: $TXMGIT"


  		





  22
  24
  
    
	exit 1;


  		












Formats disponibles :
  Unified diff