Re: [ng-spice-devel] [COMMIT] Separation of header files, frontend
On Sun, May 28, 2000 at 09:50:44AM +0200, Paolo Nenzi wrote:
>
> On Sat, 6 May 2000, Arno W. Peters wrote:
>
> > make distcheck
> > cvs tag -R -c NGSPICE_REWORK_11
> > cp ngspice-rework-11.tar.gz /anonymous/ftp/area
>
> I have done them, not in the sequence you outlined. I have updated
> the CVS firstly, to be sure that no change was left, then I issued
> the tag command and only then made the ./autogen.sh and make
> distcheck.
>
> Have I done right ?
I just wonder what would have happen is make distcheck would have
failed? Then you would have to change the source files to remove the
failure and the CVS tags would not be correct.
Suggested sequence:
cvs update
make distcheck
cvs tag -R -c NGSPICE_REWORK_11
cp ngspice-rework-11.tar.gz /anonymous/ftp/area
Regards,
--
Arno
PGP signature
Partial thread listing:
- Re: [ng-spice-devel] [COMMIT] Separation of header files, frontend, (continued)
Final Version of Letter
Erik de Castro Lopo