#!/bin/bash

if [ -z "$HOME_REPAIR" ]; then
    echo "The variable HOME_REPAIR must be set."
    exit -1
fi

cd $HOME_REPAIR/github/nopol/nopol
git pull
mvn clean install -DskipTests=true

cd $HOME_REPAIR/github/astor
git pull
mvn clean
mvn install -DskipTests=true

cd $HOME_REPAIR/github/librepair
git pull

cd jtravis
mvn clean install -DskipTests=true

cd ../repairnator
mvn clean install -DskipTests=true

#!/bin/bash

if [ -z "$HOME_REPAIR" ]; then
    echo "The variable HOME_REPAIR must be set."
    exit -1
fi

cd $HOME_REPAIR/github/nopol/nopol
git pull
mvn clean install -DskipTests=true

cd $HOME_REPAIR/github/librepair
git pull

cd jtravis
mvn clean install -DskipTests=true

cd ../repairnator
mvn clean install -DskipTests=true

--- 
+++ 
@@ -9,11 +9,6 @@
 git pull
 mvn clean install -DskipTests=true
 
-cd $HOME_REPAIR/github/astor
-git pull
-mvn clean
-mvn install -DskipTests=true
-
 cd $HOME_REPAIR/github/librepair
 git pull
 
Change build repairnator script for Astor integration
