mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-30 00:00:11 +01:00
12 lines
225 B
Bash
Executable file
12 lines
225 B
Bash
Executable file
#/bin/bash
|
|
|
|
cd $( cd "$( dirname "$0" )/.." && pwd )
|
|
|
|
LASTREV=$(git rev-parse HEAD)
|
|
git pull --all
|
|
NEWREV=$(git rev-parse HEAD)
|
|
|
|
if [ "$LASTREV" != "$NEWREV" ]; then
|
|
echo "There's a new version. Running doxygen"
|
|
doxygen
|
|
fi
|