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