From d074dfe322d6f9ffae19c7bbeee327e9f7288d8e Mon Sep 17 00:00:00 2001 From: Nadav Har'El Date: Tue, 28 Jul 2015 11:52:23 +0300 Subject: [PATCH] build: no need any more to try both ninja and ninja-build We have the "ninja" variable. Use it. Signed-off-by: Nadav Har'El --- configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.py b/configure.py index d63e797206..3bd12f1952 100755 --- a/configure.py +++ b/configure.py @@ -624,7 +624,7 @@ with open(buildfile, 'w') as f: description = CSCOPE build cscope: cscope rule request_parser_hh - command = ninja -C seastar build/release/gen/http/request_parser.hh build/debug/gen/http/request_parser.hh || ninja-build -C seastar build/release/gen/http/request_parser.hh build/debug/gen/http/request_parser.hh + command = {ninja} -C seastar build/release/gen/http/request_parser.hh build/debug/gen/http/request_parser.hh description = GEN seastar/http/request_parser.hh build seastar/build/release/http/request_parser.hh seastar/build/debug/http/request_parser.hh: request_parser_hh default {modes_list}