Create a PATCH.TXT with "git diff" and include in the deplopment

This allows us to track what the differences are to the git version
We also include it into .gitignore.
This commit is contained in:
Douglas Clowes
2014-09-05 15:29:25 +10:00
parent fb9671531c
commit eb4746652f
3 changed files with 8 additions and 0 deletions

1
.gitignore vendored
View File

@ -1,5 +1,6 @@
SICServer SICServer
made_config.h made_config.h
PATCH.TXT
*.aux *.aux
*.pdf *.pdf
*.sw[op] *.sw[op]

View File

@ -45,6 +45,9 @@ else
if [[ ${SICS_PLUS} > 0 ]] if [[ ${SICS_PLUS} > 0 ]]
then then
SICS_REV="${SICS_REV}+${SICS_PLUS}" SICS_REV="${SICS_REV}+${SICS_PLUS}"
git diff > PATCH.TXT
else
rm PATCH.TXT
fi fi
unset SICS_PLUS unset SICS_PLUS
else else

View File

@ -241,6 +241,10 @@ echo "Date: $(date -Iminutes)" > $TEMPDIR/$DESTDIR/${NEWSERVER}/DEPLOYMENT.TXT
echo "User: $USER" >> $TEMPDIR/$DESTDIR/${NEWSERVER}/DEPLOYMENT.TXT echo "User: $USER" >> $TEMPDIR/$DESTDIR/${NEWSERVER}/DEPLOYMENT.TXT
DEPLOYED_VERSION="$(bash ../extract_version.sh all)" DEPLOYED_VERSION="$(bash ../extract_version.sh all)"
echo "Version:" $DEPLOYED_VERSION >> $TEMPDIR/$DESTDIR/${NEWSERVER}/DEPLOYMENT.TXT echo "Version:" $DEPLOYED_VERSION >> $TEMPDIR/$DESTDIR/${NEWSERVER}/DEPLOYMENT.TXT
if [ -e PATCH.TXT ]
then
cat PATCH.TXT > $TEMPDIR/$DESTDIR/${NEWSERVER}/PATCH.TXT
fi
cat $SRCDIR/MANIFEST.TXT $SRCDIR/$INSTSRC/MANIFEST.TXT > $TEMPDIR/$DESTDIR/${NEWSERVER}/MANIFEST.TXT cat $SRCDIR/MANIFEST.TXT $SRCDIR/$INSTSRC/MANIFEST.TXT > $TEMPDIR/$DESTDIR/${NEWSERVER}/MANIFEST.TXT
cd $TEMPDIR cd $TEMPDIR