Riddle me this...
$ svn cp $SVNROOT/fdps/tasks/6307b $SVNROOT/fdps/tasks/6145
((standard copy/commit output from svn))
$ svn cat $SVNROOT/fdps/tasks/6307b/include/rfdps_global.h | grep -i "^#define trunc"
$ svn cat $SVNROOT/fdps/tasks/6145/include/rfdps_global.h | grep -i "^#define trunc"
#define trunc(a) (a >= 0 ? floor(a) : ceil(a))
Why is the copied version different from the non-copied version?
Argh.... investigating that better led me to the answer: the directory 6145 already existed, having been made from an earlier copy of trunk and thus not including the changes on the 6307b task. Hence, it just copied 6307b to a subdirectory of 6145 :Þ
Well, the fix is easy enough :)