Hi all, before attemting to implement the script I was wondering if there exists a makefile target that updates the repository to the latest release? I was thinking something along the lines of:
---------------------------------------- current=... # determine the current version git checkout master git pull origin master latest=... # determine latest release from git log git log --oneline $current...$latest git checkout --branch $latest $latest make clean autoloads ---------------------------------------- I looked at `mk/targets.mk` but didn't find anything similar. Kind regards, Miro
