Made empty "make seds" file an error instead of warning.

cschreib · cschreib · commit e2ed84bf2013 · 2017-11-02T16:28:13.000+01:00
diff --git a/src/fast++-read_input.cpp b/src/fast++-read_input.cpp
@@ -406,8 +406,9 @@ bool read_params(options_t& opts, input_state_t& state, const std::string& filen
     }
 
     if (!opts.make_seds.empty() && !file::exists(opts.make_seds)) {
-        warning("file '", opts.make_seds, "' is empty (MAKE_SEDS=...), ignoring");
-        opts.make_seds = "";
+        error("file '", opts.make_seds, "' is empty (MAKE_SEDS=...)");
+        error("if you do not want to generate these SEDs, remove the MAKE_SEDS=... option");
+        return false;
     }
 
     // Use the default 'share' directory if nothing is provided

Original file line number	Diff line number	Diff line change
`@@ -406,8 +406,9 @@ bool read_params(options_t& opts, input_state_t& state, const std::string& filen`
`406`	`406`	`}`
`407`	`407`
`408`	`408`	`if (!opts.make_seds.empty() && !file::exists(opts.make_seds)) {`
`409`		`- warning("file '", opts.make_seds, "' is empty (MAKE_SEDS=...), ignoring");`
`410`		`- opts.make_seds = "";`
	`409`	`+ error("file '", opts.make_seds, "' is empty (MAKE_SEDS=...)");`
	`410`	`+ error("if you do not want to generate these SEDs, remove the MAKE_SEDS=... option");`
	`411`	`+ return false;`
`411`	`412`	`}`
`412`	`413`
`413`	`414`	`// Use the default 'share' directory if nothing is provided`