Re: overwriting source files

[John Darrington]

I tried hard to produce a similar failure, but wasn't able to.
Even after poking false date stamps into things.

But looking at pspp-0.10.0/doc/version.texi I see the date stamp
nearly a year old:

@set UPDATED 10 May 2015

So my guess is that you have something in your git working directory
which is hindering rebuilds of the manual.

I suggest that you do

git reset --hard origin/master
git clean -dfx
make -f Smake
...
etc.

J'


On Sun, Mar 27, 2016 at 02:45:00PM -0700, Ben Pfaff wrote:
     On Sun, Mar 27, 2016 at 11:41:24PM +0200, John Darrington wrote:
     > Looking at this again, I see something strange in the tarball:
     > 
     > $ ls -l doc/pspp.xml doc/version.texi doc/help-pages-list 
     > -rw-r--r-- 1 john john    611 Mar  8  2015 doc/help-pages-list
     > -rw-r--r-- 1 john john 725562 Mar 20 01:19 doc/pspp.xml
     > -rw-r--r-- 1 john john     93 Mar 26 18:19 doc/version.texi
     > 
     > make dist is supposed to depend on doc/pspp.xml which in turn
     > depends on doc/version.texi
     > 
     > So I don't understand how this combination of timestamps can have
     > arisen.
     > 
     > Can you remember the sequence of commands you ran to create the tarball?
     
     My bash history shows me verifying that I had the right gnulib commit:
     
      1064  less README.Git
      1065  cd ../gnulib
      1066  git show
      1067  cd ../master/
     
     then rerunning "make -f Smake", just to be sure, and then running
     distcheck:
     
      1068  make -f Smake
      1069  cd _build/
      1070  make -j10 distcheck TESTSUITEFLAGS=-j10
     
     The distcheck failed, so afterward I investigated a bit but I ended up
     using the tarball generated by the (failed) distcheck without
     regenerating it.

-- 
Avoid eavesdropping.  Send strong encryted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature