diff options
| author | Stefano Sinigardi <stesinigardi@hotmail.com> | 2019-10-07 19:35:13 +0200 |
|---|---|---|
| committer | Curtis J Bezault <curtbezault@gmail.com> | 2019-10-07 10:35:13 -0700 |
| commit | 726c11148105a97aef39bec024fdb7c140b1b154 (patch) | |
| tree | 26bd2aee0c13a8351b259cc4ffffaf0efededb4e /ports/ode/CONTROL | |
| parent | e86ff2cc54bda9e9ee322ab69141e7113d5c40a9 (diff) | |
| download | vcpkg-726c11148105a97aef39bec024fdb7c140b1b154.tar.gz vcpkg-726c11148105a97aef39bec024fdb7c140b1b154.zip | |
[vcpkg] fatal_error when patch fails to apply (#8087)
vcpkg will now fail on failure to apply patches except when using `--head`.
Diffstat (limited to 'ports/ode/CONTROL')
| -rw-r--r-- | ports/ode/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/ode/CONTROL b/ports/ode/CONTROL index 4d0a0b724..3754de88b 100644 --- a/ports/ode/CONTROL +++ b/ports/ode/CONTROL @@ -1,4 +1,4 @@ Source: ode
-Version: 0.15.1-2
+Version: 0.15.1-3
Homepage: https://bitbucket.org/odedevs/ode/src/default/
Description: Open Dynamics Engine
|