[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: build is broken; file missing from commit
|
From: |
Carlo de Falco |
|
Subject: |
Re: build is broken; file missing from commit |
|
Date: |
Wed, 16 Dec 2015 16:40:43 +0100 |
Il 16/dic/2015 16:32, "John W. Eaton" <address@hidden> ha scritto:
>
> This changeset
>
> # HG changeset patch
> # User Carlo de Falco
> # Date 1450257905 -3600
> # Wed Dec 16 10:25:05 2015 +0100
> # Node ID 0fb9de5b790310d2018534562b6c8466595a63ab
> # Parent 40e1134ec9843c96f36733b3f6d06c3f4d6872b5
> remove verbose warnings from ode solvers
>
> added scripts/ode/private/known_option_names to the list of files in scripts/ode/modules.mk (I think that should end with .m) but didn't add the file.
>
> jwe
I thought I added the file with a following changeset did I forget to push?
c.