diff options
author | Malte Mues <mmuesly@users.noreply.github.com> | 2020-10-07 08:50:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-06 23:50:45 -0700 |
commit | a69b6eb561fadb4c2c9f09b700950af7ce43b378 (patch) | |
tree | 21ed3a5cbe6449a85bcf9eede1357edeaa7ccc14 /contrib | |
parent | 0c540b4b96a100ba1d280c700c6c360efeb24fc2 (diff) |
Improve OSX support by adding os detection and adapting calls for OSX. (#5023)
On OSX there is another libtoolize tool already available.
The gnu libtoolize version installed with MacPorts or brew is called glibtoolize.
This change makes it easier to run the file on OSX.
Signed-off-by: Malte Mues (mail.mues@gmail.com)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-glpk-cut-log | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/get-glpk-cut-log b/contrib/get-glpk-cut-log index 951e10620..17ace0dcd 100755 --- a/contrib/get-glpk-cut-log +++ b/contrib/get-glpk-cut-log @@ -20,7 +20,11 @@ cd "$GLPK_DIR" patch -p1 < ${patch_file} -libtoolize +if [[ "$OSTYPE" == "darwin"* ]]; then + glibtoolize +else + libtoolize +fi aclocal autoheader autoconf |