1#!/bin/bash
2
3if [[ -z "$AWK" ]]; then
4    printf '$AWK must be set\n' >&2
5    exit 1
6fi
7
8# check that values with leading digits get converted the
9# right way, based on a note in comp.lang.awk.
10#
11# run with gawk -v x=2E -f leaddig.awk
12$AWK -v x=2E 'BEGIN {
13	print "x =", x, (x == 2), (x == 2E0), (x == 2E), (x == 2D)
14}'
15