diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-09 21:35:17 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-09 21:35:17 +0100 |
| commit | 9018eabb10233f44b9c3381772cb1f940eaee1c0 (patch) | |
| tree | aea2f03dd98a0606def4d5fe9316c12c6ba269f1 | |
| parent | ed97a42fde223a7613bf6f9fc6ad56c70180c353 (diff) | |
Add libtool finish command from warning
| -rwxr-xr-x | bin/build-binary-dist.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh index 2c71cb2ea..f96831910 100755 --- a/bin/build-binary-dist.sh +++ b/bin/build-binary-dist.sh @@ -30,6 +30,7 @@ pushd src/runtime/c bash setup.sh configure --prefix="$prefix" bash setup.sh build bash setup.sh install prefix="$destdir$prefix" +libtool --finish "$prefix/lib" popd ## Build the python binding to the C run-time system |