From 27e39a0fc8f570b78e37f931f7be4f923414ac24 Mon Sep 17 00:00:00 2001 From: Fardale Date: Mon, 20 Sep 2021 14:15:44 +0200 Subject: [PATCH] chore: remplace `which' by `command -v' Using `which' to test the existance of a program is deprecated in debian. Debian recommand to use `command -v' instead. --- qtest/make.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/qtest/make.ml b/qtest/make.ml index 9ce64e3e..bb4cb540 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -63,7 +63,7 @@ let () = Arg.parse ["-target", Arg.Set_string target, " set target"] (fun d -> dirs := d :: !dirs) "make.ml -target file dir+"; if !target="" then failwith "please specify a target"; - if Sys.command "which qtest > /dev/null" <> 0 then ( + if Sys.command "command -v qtest > /dev/null" <> 0 then ( (* create empty file *) let out = open_out !target in output_string out "";