Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
developpement:activites:integration:gaussian4wheezy [2014/02/07 14:43] equemene [Test des compilations] |
developpement:activites:integration:gaussian4wheezy [2014/02/07 14:45] equemene [Test des compilations] |
||
|---|---|---|---|
| Ligne 83: | Ligne 83: | ||
| do | do | ||
| if [ -f test$(printf "%04d" $i).com ]; then | if [ -f test$(printf "%04d" $i).com ]; then | ||
| - | { /usr/bin/time g09 test$(printf "%04d" $i).com } 2> test$(printf "%04" $i).time | + | { /usr/bin/time g09 test$(printf "%04d" $i).com ; } 2> test$(printf "%04d" $i).time |
| fi | fi | ||
| i=$(($i+1)) | i=$(($i+1)) | ||