Skip to content
This repository has been archived by the owner on Jan 19, 2022. It is now read-only.

Commit

Permalink
Lint *after* merging upstream
Browse files Browse the repository at this point in the history
  • Loading branch information
arturadib committed Nov 17, 2011
1 parent e487947 commit 0b69429
Show file tree
Hide file tree
Showing 2 changed files with 22 additions and 21 deletions.
23 changes: 12 additions & 11 deletions run-makeref
Original file line number Diff line number Diff line change
Expand Up @@ -93,35 +93,36 @@ if [ $? != 0 ]; then
fi



#
# Run linter - MUST COME BEFORE OVERWRITING ANY FILES!
# Merge upstream into pull request
#
echo
echo "========== Running 'make lint'"
echo "========== Merging upstream into pull request clone"
cd $TARGET_DIR
make lint &
wait $!
git pull --quiet $MAIN_URL master
if [ $? != 0 ]; then
echo
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
echo "ERROR: Lint didn't pass."
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
echo "ERROR: Could not merge upstream into pull request. Please resolve conflicts."
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
exit
fi


#
# Merge upstream into pull request
# Run linter
#
echo
echo "========== Merging upstream into pull request clone"
echo "========== Running 'make lint'"
cd $TARGET_DIR
git pull --quiet $MAIN_URL master
make lint &
wait $!
if [ $? != 0 ]; then
echo
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
echo "ERROR: Could not merge upstream into pull request. Please resolve conflicts."
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
echo "ERROR: Lint didn't pass."
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
exit
fi

Expand Down
20 changes: 10 additions & 10 deletions run-test
Original file line number Diff line number Diff line change
Expand Up @@ -92,16 +92,6 @@ if [ $? != 0 ]; then
fi


#
# Run linter - MUST COME BEFORE OVERWRITING ANY FILES!
#
echo
echo "========== Running 'make lint'"
cd $TARGET_DIR
make lint &
wait $! # so we can trap SIGTERM, see above


#
# Merge upstream into pull request
#
Expand All @@ -118,6 +108,16 @@ if [ $? != 0 ]; then
fi


#
# Run linter
#
echo
echo "========== Running 'make lint'"
cd $TARGET_DIR
make lint &
wait $! # so we can trap SIGTERM, see above


#
# Pull reference snapshots
#
Expand Down

0 comments on commit 0b69429

Please sign in to comment.