#!/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,6 +9,11 @@
 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
