From 66e1e5c1dfd539a54e4e5dc3ae85fc2199acb24c Mon Sep 17 00:00:00 2001 From: Cheney Wang <38240633+Cheney-W@users.noreply.github.com> Date: Tue, 13 Apr 2021 00:59:28 +0800 Subject: [openmama] Modify the output path of the common header file (#16725) * [openmama] Modify the path of the common header file * Update json files * Remove file existence judgment * Update git tree Co-authored-by: Cheney-Wang --- versions/baseline.json | 2 +- versions/o-/openmama.json | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'versions') diff --git a/versions/baseline.json b/versions/baseline.json index 391146eb8..8fb80742b 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -4474,7 +4474,7 @@ }, "openmama": { "baseline": "6.3.1", - "port-version": 0 + "port-version": 1 }, "openmesh": { "baseline": "8.1", diff --git a/versions/o-/openmama.json b/versions/o-/openmama.json index a96b358a1..e34e2add3 100644 --- a/versions/o-/openmama.json +++ b/versions/o-/openmama.json @@ -1,5 +1,10 @@ { "versions": [ + { + "git-tree": "74e126369c9ba45cf7105e1b72871738acd24de5", + "version-semver": "6.3.1", + "port-version": 1 + }, { "git-tree": "6945e436fdfc5307d58f84ff5c76f6a34e2a8031", "version-string": "6.3.1", -- cgit v1.2.3