Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] build: Use the makebinary from config.ml instead of a hardcore …

…of "make" to allow it uses "gmake"

correct on FreeBSD.
  • Loading branch information...
commit bfae30730632a4954f611fcc13157110d122e28b 1 parent bee0c33
@jlmess77 jlmess77 authored BourgerieQuentin committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  libbsl/bslregister.ml
View
2  libbsl/bslregister.ml
@@ -915,7 +915,7 @@ let _ =
if !auto_build then (
OManager.verbose "building plugin...";
- let ret = Sys.command (Printf.sprintf "make -C %s -f %s" !opp_dir (Filename.basename !makefile)) in
+ let ret = Sys.command (Printf.sprintf "%s -C %s -f %s" Config.makebinary !opp_dir (Filename.basename !makefile)) in
if ret <> 0
then
OManager.error "building failure due to error(s) in source files@\n"
Please sign in to comment.
Something went wrong with that request. Please try again.