Browse Source

Bad idea to ignore whitespace...

master
Robotia 9 years ago
parent
commit
26c7b148f4
  1. 6
      makepatch.sh

6
makepatch.sh

@ -15,7 +15,7 @@ then
CLEAN=`find eclipse/Clean/src/main/java | grep $FILE`
CAULD=`find eclipse/cauldron/src/main/java | grep $FILE`
PATCH=`find patches/ | grep -i $FILE`
git diff --no-index --text -w $CLEAN $CAULD
git diff --no-index --no-prefix --text $CLEAN $CAULD
echo "Diff patch of ${redf}$CLEAN${reset} and ${gref}$CAULD${reset} above."
elif [ $1 == "make" ]
then
@ -24,7 +24,7 @@ then
CLEAN=`find eclipse/Clean/src/main/java | grep $FILE`
CAULD=`find eclipse/cauldron/src/main/java | grep $FILE`
PATCH=`find patches/ | grep -i $FILE`
git diff --no-index --text -w $CLEAN $CAULD > $PATCH
git diff --no-prefix --no-index --text $CLEAN $CAULD > $PATCH
java makepatch $PATCH
echo "Diff of ${redf}$CLEAN${reset} and ${gref}$CAULD${reset} written to ${yelf}$PATCH${reset}"
else
@ -33,7 +33,7 @@ else
CLEAN=`find eclipse/Clean/src/main/java | grep $FILE`
CAULD=`find eclipse/cauldron/src/main/java | grep $FILE`
PATCH=`find patches/ | grep -i $FILE`
git diff --no-prefix --no-index --text -w $CLEAN $CAULD > $PATCH
git diff --no-index $CLEAN $CAULD > $PATCH
java makepatch $PATCH
echo "Diff of ${redf}$CLEAN${reset} and ${gref}$CAULD${reset} written to ${yelf}$PATCH${reset}"
fi

Loading…
Cancel
Save