I just updated my base-7.0.3 to base-7.0.3.1 by doing the following:
git pull
git checkout R7.0.3.1
git submodule update
Renamed the directory from base-7.0.3 to base-7.0.3.1.
make realclean realuninstall
This fails because the modules/RELEASE*.local files still refer to the old directory base-7.0.3. I had to delete those files manually.
I find this frustrating. Is there a reason that those files cannot be removed with realclean or realuninstall?
Mark