[xen master] eclair: remove wrongly added -eval_file

[patchbot@xxxxxxx]

commit 772380f7547bac7e4c10c9ceff87af3f54151ae5
Author:     Simone Ballarin <simone.ballarin@xxxxxxxxxxx>
AuthorDate: Mon Feb 12 09:38:22 2024 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Mon Feb 12 09:38:22 2024 +0100

    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@xxxxxxxxxxx>
    Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 automation/eclair_analysis/ECLAIR/analysis.ecl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl 
b/automation/eclair_analysis/ECLAIR/analysis.ecl
index 684c5b0b39..a604582da3 100644
--- a/automation/eclair_analysis/ECLAIR/analysis.ecl
+++ b/automation/eclair_analysis/ECLAIR/analysis.ecl
@@ -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."
--
generated by git-patchbot for /home/xen/git/xen.git#master