On 5/25/23 12:00, Peter Maydell wrote:
At least some of its "missing quoting" complaints are also legitimate, notably on $PYTHON and $DECODETREE.
$PYTHON could include command line options, so I don't think it should be quoted. Though we could stop insisting on using -B; either not doing anything at all, or adding
export PYTHONDONTWRITEBYTECODE=1 to Makefile. Paolo
