blob: adf6de5248e540ec6bd92ed3036b79f53f0c7c95 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
git fetch
LOCAL=$(git rev-parse @)
REMOTE=$(git rev-parse @{u})
BASE=$(git merge-base @ @{u})
if [ $LOCAL = $REMOTE ]; then
/bin/true
elif [ $LOCAL = $BASE ]; then
echo "Need to pull"
git pull
make clean
# The environment variable added here adds bottom left download pane.
MAMEDEV=1 make site
elif [ $REMOTE = $BASE ]; then
echo "Need to push"
else
echo "Diverged"
fi
|