summaryrefslogtreecommitdiff
path: root/utils/ccomp.ml
diff options
context:
space:
mode:
authorAnukriti12 <anu1999kriti@gmail.com>2020-03-23 06:12:05 +0530
committerAnukriti12 <anu1999kriti@gmail.com>2020-03-23 06:12:05 +0530
commit8f235efdf5bb938cf87e15fb8476d90b505ebad2 (patch)
treef4201cc14f1fdb843cf56d9d5e4dd2483044ae98 /utils/ccomp.ml
parent466ed635e997fdb13b60b4843e6a67bfc1b35134 (diff)
downloadocaml-8f235efdf5bb938cf87e15fb8476d90b505ebad2.tar.gz
call_linker now returns exit_code for better error response on linking_error, fixes #7141
Diffstat (limited to 'utils/ccomp.ml')
-rw-r--r--utils/ccomp.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml
index 9eecbb2ed4..27bccf824a 100644
--- a/utils/ccomp.ml
+++ b/utils/ccomp.ml
@@ -211,5 +211,5 @@ let call_linker mode output_name files extra =
(quote_files files)
extra
in
- command cmd = 0
+ command cmd
)