[debbugs-tracker] bug#32110: closed (Some Cuirass examples fail)

[GNU bug Tracking System]

Your message dated Tue, 10 Jul 2018 19:00:10 +0200
with message-id <address@hidden>
and subject line Re: bug#32110: Some Cuirass examples fail
has caused the debbugs.gnu.org bug report #32110,
regarding Some Cuirass examples fail
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
32110: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32110
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Some Cuirass examples fail
>
>
>
>
> Date: 
>
> Tue, 10 Jul 2018 13:41:18 +0200
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> These examples fail:
>
> ./pre-inst-env cuirass --specifications=examples/gnu-system.scm 
> --database=test.db
> ./pre-inst-env cuirass --specifications=examples/guix-track-git.scm 
> --database=test.db
> ./pre-inst-env cuirass --specifications=examples/random-jobs.scm 
> --database=test.db
> ./pre-inst-env cuirass --specifications=examples/random.scm --database=test.db
>
> Clément
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#32110: Some Cuirass examples fail
>
>
>
>
> Date: 
>
> Tue, 10 Jul 2018 19:00:10 +0200
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> Clément Lassieur <address@hidden> writes:
>
> > These examples fail:
> >
> > ./pre-inst-env cuirass --specifications=examples/gnu-system.scm 
> > --database=test.db
> > ./pre-inst-env cuirass --specifications=examples/guix-track-git.scm 
> > --database=test.db
> > ./pre-inst-env cuirass --specifications=examples/random-jobs.scm 
> > --database=test.db
> >
> > Clément
>
> In fact, those three files were not example specs, they were used by
> other specs.  Sorry for the noise :-)
>
>
> --- End Message ---