From 931846b8f08e5e763141cadfc5e9b194b69303e3 Mon Sep 17 00:00:00 2001 From: Martin Kletzander Date: Mon, 24 Feb 2020 13:12:03 +0100 Subject: [PATCH] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000) The first split does not care about the whole string, it is just trying to get the command name in front, so triml is just right. Signed-off-by: Martin Kletzander --- generator/customize.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/generator/customize.ml b/generator/customize.ml index c278347c1..0b256e2d2 100644 --- a/generator/customize.ml +++ b/generator/customize.ml @@ -873,6 +873,7 @@ let rec argspec () = pr " ] in let lines = read_whole_file filename in let lines = String.lines_split lines in + let lines = List.map String.triml lines in let lines = List.filter ( fun line -> String.length line > 0 && line.[0] <> '#' -- 2.18.4