On Mon, 14 Sep 2020, Markus Elfring wrote:
> >>>> How do you think about to use the following check variant?
> >>>>
> >>>> + if [ "${DEBUG_FILE}" != '/dev/null' -a "${DEBUG_FILE}" != '' ]; then
> …
> > I have no idea. Why can't they be nclosed by double quotes as well?
>
> Both script variants can work.
> Such coding style variations can trigger different run time characteristics
> (besides expressing specific intentions), can't they?
Again, I have no idea. But the runtime cost of these tests must be
microscopic as compared to the overall cost of make coccicheck.
julia
