Projet

Général

Profil

« Précédent | Suivant » 

Révision 919fe94c

Ajouté par Frédéric Péters il y a plus de 9 ans

jenkins: pin astroid

Voir les différences:

jenkins/jenkins.sh
1 1 
#!/bin/sh
2 2 

  		




  3
  
  
    
pip install --upgrade pip pylint==1.4.0 django-jux


  		




  
  3
  
    
pip install --upgrade pip pylint==1.4.0 astroid==1.3.2 django-jux


  		




  4
  4
  
    
pip install --upgrade -r requirements.txt


  		




  5
  5
  
    
cp jenkins/local_settings.py.example local_settings.py


  		




  6
  6
  
    
./manage.py syncdb --all --noinput


  		












Formats disponibles :  Unified diff