diff options
Diffstat (limited to 'bin/info2mml')
-rwxr-xr-x | bin/info2mml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/info2mml b/bin/info2mml index 83654da9649..d38ac0f814a 100755 --- a/bin/info2mml +++ b/bin/info2mml @@ -29,9 +29,9 @@ export OSE_VERSION_ROOT BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin" LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"} -AWK="${AWK-nawk}" +AWK="${AWK-gawk}" -if test "$AWK" = "nawk" +if test "$AWK" = "gawk" then VARG="-v" fi |