ADT
        arm-eh
        ast-experimental
        enum
        forall-pointer-decay
        jacob/cs343-translation
        jenkins-sandbox
        new-ast
        new-ast-unique-expr
        pthread-emulation
        qualifiedEnum
      
      
        
          | 
            Last change
 on this file since c1398e4 was             13c98a4, checked in by Thierry Delisle <tdelisle@…>, 7 years ago           | 
        
        
          | 
             
Jenkins emails now use html, this push does some work to improve how they look 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100755
               
             
           | 
        
        
          | 
            File size:
            749 bytes
           | 
        
      
      
| Line |   | 
|---|
| 1 | #!/bin/bash
 | 
|---|
| 2 | 
 | 
|---|
| 3 | set -e
 | 
|---|
| 4 | 
 | 
|---|
| 5 | GIT="git --git-dir=$1/.git"
 | 
|---|
| 6 | 
 | 
|---|
| 7 | GIT_UPDATE="$2/GIT_UPDATE"
 | 
|---|
| 8 | GIT_LOG="$2/GIT_LOG"
 | 
|---|
| 9 | GIT_DIFF="$2/GIT_DIFF"
 | 
|---|
| 10 | 
 | 
|---|
| 11 | rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
 | 
|---|
| 12 | 
 | 
|---|
| 13 | GitOldRef=$3
 | 
|---|
| 14 | GitNewRef=$4
 | 
|---|
| 15 | 
 | 
|---|
| 16 | 
 | 
|---|
| 17 | revisions=$(git rev-list ${GitOldRef}..${GitNewRef})
 | 
|---|
| 18 | 
 | 
|---|
| 19 | for rev in ${revisions}; do
 | 
|---|
| 20 |     type=$(git cat-file -t ${rev})
 | 
|---|
| 21 |     echo "       via  ${rev} (${type})" >>  ${GIT_UPDATE}
 | 
|---|
| 22 | done
 | 
|---|
| 23 | rev=${GitOldRef}
 | 
|---|
| 24 | type=$(git cat-file -t ${rev})
 | 
|---|
| 25 | echo "      from  ${rev} (${type})" >>  ${GIT_UPDATE}
 | 
|---|
| 26 | 
 | 
|---|
| 27 | git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
 | 
|---|
| 28 | 
 | 
|---|
| 29 | git diff --stat --color ${GitNewRef} ${GitOldRef} | sed -e 's/\[32m/<span style\=\"color\: \#00AA00\;\">/g' -e 's/\[31m/<span style\=\"color\: \#AA0000\;\">/g' -e 's/\[m/<\/span>/g' >  ${GIT_DIFF}
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.