decodetree: Do not remove output_file from /dev
authorRichard Henderson <richard.henderson@linaro.org>
Fri, 26 May 2023 17:22:51 +0000 (10:22 -0700)
committerRichard Henderson <richard.henderson@linaro.org>
Tue, 30 May 2023 17:55:39 +0000 (10:55 -0700)
commit036cc75ca0bff26bfe75dc721e641d812cad3c09
treee3cdedaa879ed4504d32dcca18e1e88fa971b3d5
parentf26044717679331ba31ba9bb911e059a13a49599
decodetree: Do not remove output_file from /dev

Nor report any PermissionError on remove.
The primary purpose is testing with -o /dev/null.

Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
scripts/decodetree.py