Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 10 additions & 8 deletions checkstyle-tester/launch_diff_antlr.sh
Original file line number Diff line number Diff line change
Expand Up @@ -224,15 +224,16 @@ mvn_package "master"

echo "Checking out and Installing PR $1"

git fetch $PULL_REMOTE
#git fetch $PULL_REMOTE

if [ ! `git rev-parse --verify $PULL_REMOTE/$1` ] ;
then
echo "Branch $PULL_REMOTE/$1 doesn't exist"
exit 1
fi
# if [ ! `git rev-parse --verify $PULL_REMOTE/$1` ] ;
# then
# echo "Branch $PULL_REMOTE/$1 doesn't exist"
# exit 1
# fi

git checkout $PULL_REMOTE/$1
#git checkout $PULL_REMOTE/$1
git checkout $1
git clean -f -d

mvn_package "patch"
Expand Down Expand Up @@ -278,7 +279,8 @@ echo "Base branch last commit SHA: $HASH<br />" >> $OUTPUT_FILE
echo "Base branch last commit message: $MSG<br />" >> $OUTPUT_FILE
echo "</h6>" >> $OUTPUT_FILE

REMOTE="$PULL_REMOTE/$1"
#REMOTE="$PULL_REMOTE/$1"
REMOTE="$1"

cd $CHECKSTYLE_DIR
HASH=$(git rev-parse $REMOTE)
Expand Down
8 changes: 4 additions & 4 deletions checkstyle-tester/launch_diff_variables.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,13 @@
# Note: Use full paths
# ============================================================

CONTACTSERVER=true
CONTACTSERVER=false

PULL_REMOTE=pull

CHECKSTYLE_DIR=~/checkstyle
SEVNTU_DIR=~/sevntu.checkstyle
CONTRIBUTION_DIR=~/contribution
CHECKSTYLE_DIR=~/java/github/romani/checkstyle
SEVNTU_DIR=~/java/github/sevntu-checkstyle/sevntu.checkstyle
CONTRIBUTION_DIR=~/java/github/checkstyle/contribution
TEMP_DIR=/tmp/launch_diff

TESTER_DIR=$CONTRIBUTION_DIR/checkstyle-tester
Expand Down