diff options
| author | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-10-10 19:55:00 +0000 |
|---|---|---|
| committer | schmidt <douglascraigschmidt@users.noreply.github.com> | 1997-10-10 19:55:00 +0000 |
| commit | cae30be98931ec02e9567e7f92ccf08462cf4692 (patch) | |
| tree | 9a9b97ba44c8bd264b857e06fa77faf09ac332d7 /bin/info2head | |
| parent | a00e540b347619e5a74eecb8a22ebfd628df9c20 (diff) | |
| download | ATCD-cae30be98931ec02e9567e7f92ccf08462cf4692.tar.gz | |
*** empty log message ***
Diffstat (limited to 'bin/info2head')
| -rwxr-xr-x | bin/info2head | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/info2head b/bin/info2head index 7a5510efacf..15ee9ae0f1e 100755 --- a/bin/info2head +++ b/bin/info2head @@ -29,10 +29,10 @@ 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 |