poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: poke.cmd/file-mode.pk test failure


From: Bruno Haible
Subject: Re: poke.cmd/file-mode.pk test failure
Date: Tue, 25 Feb 2020 10:50:32 +0100
User-agent: KMail/5.1.3 (Linux/4.4.0-171-generic; KDE/5.18.0; x86_64; ; )

>     $ sudo src/poke
>     
>     (poke) .file /etc/passwd
>     The current IOS is now `/etc/passwd'.
>     (poke) .file /dev/null
>     The current IOS is now `/dev/null'.
>     (poke) .info ios
>       Id    Mode    Position        Name
>     * #1    rw      0x00000000#b    /dev/null
>       #0    rw      0x00000000#b    /etc/passwd
>     
>     Does the attached proposed patch look OK to commit?
> 
> Yes thats OK for master.

Pushed. With this, the continuous integration builds pass again:
https://gitlab.com/gnu-poke/ci-distcheck/pipelines

Bruno




reply via email to

[Prev in Thread] Current Thread [Next in Thread]