set -ex

# Load the list of modified files.
git fetch
git branch -lr
FILES=$(git diff --name-only origin/master... src/include)

# Create a new temp directory.
mkdir src/include2

# Copy modified files into it.
for FILE in $FILES
do