mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
eclair: remove wrongly added -eval_file
properties.ecl does not exist and it is not
even generated by propertyparser.py. Loading
this file causes empty ECLAIR analysis.
Fixes: f4519ee8 ("eclair: move function and macro properties outside ECLAIR")
Signed-off-by: Simone Ballarin <simone.ballarin@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
This commit is contained in:
Simone Ballarin authored and Jan Beulich committed
1 parent
897def94b5
commit
772380f754
1 file changed
-1
@@ -30,7 +30,6 @@ if(not(scheduled_analysis),
|
||||
-eval_file=deviations.ecl
|
||||
-eval_file=call_properties.ecl
|
||||
-eval_file=tagging.ecl
|
||||
-eval_file=properties.ecl
|
||||
-eval_file=concat(set,".ecl")
|
||||
|
||||
-doc="Hide reports in external code."
|
||||
|
||||