# provided with absolutely no warranty. See the COPYING and CREDITS
# files for more information.
+echo //entering make-target-contrib.sh
+
LANG=C
LC_ALL=C
export LANG LC_ALL
fi
done
-if [ $HEADER_HAS_BEEN_PRINTED == true ]; then
+if [ $HEADER_HAS_BEEN_PRINTED = true ]; then
exit 1
fi