diff options
Diffstat (limited to 'contrib/get-glpk-cut-log')
-rwxr-xr-x | contrib/get-glpk-cut-log | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/get-glpk-cut-log b/contrib/get-glpk-cut-log index 17ace0dcd..f8eff85bb 100755 --- a/contrib/get-glpk-cut-log +++ b/contrib/get-glpk-cut-log @@ -12,7 +12,6 @@ patch_file=${contrib_dir}/glpk-cut-log.patch GLPK_DIR="$DEPS_DIR/glpk-cut-log" version="4.52" -check_dep_dir "$GLPK_DIR" setup_dep \ "https://ftp.gnu.org/gnu/glpk/glpk-${version}.tar.gz" \ "$GLPK_DIR" |