fix release bug that prevented final push
1 parent 40a4e1f commit 71b0c9b104be6fe9feacdd46b236c7a1ab8cfc75
@tundra tundra authored on 27 Oct 2016
Showing 1 changed file
View
2
■■■
makefile
fixrev: FORCE
@sed -i "s/^GITID.*/GITID=\'$(shell git log --pretty=format:"%h%x20%an%x20%ad"\' | head -n1)/" ${PROGNAME}.sh
@sed -i "s/^VERSION.*/VERSION=\'${VERSION}'/" ${PROGNAME}.sh
@sed -i "s/Id:.*/Id: \'$(shell git log --pretty=format:"%h%x20%an%x20%ad"\' | head -n1)/" ${PROGNAME}.rst
@git add ${PROGNAME}.py ${PROGNAME}.rst
@git add ${PROGNAME}.sh ${PROGNAME}.rst
 
release: docs fixrev ${PROGFILES}
@git commit -m${HEADER1}
@git push