Project

General

Profile

Feature #1255 ยป 0059-spec_propagate.sh-Remove-x-prefixing.patch

Marko Lindqvist, 03/15/2025 01:57 AM

View differences:

scripts/spec_propagate.sh
esac
done
rm "$P"
if [ "x$rej" != x ]; then
if [ "$rej" != "" ]; then
echo "*** fix up rejects manually: $rej"
fi
if [ -f "data/ruledit/${COMMENTS}" ]; then
    (1-1/1)