diff options
Diffstat (limited to 'vms/compare_gawk_source.com')
| -rw-r--r-- | vms/compare_gawk_source.com | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vms/compare_gawk_source.com b/vms/compare_gawk_source.com index 260ec4eb..065b640a 100644 --- a/vms/compare_gawk_source.com +++ b/vms/compare_gawk_source.com @@ -269,6 +269,8 @@ $ if ref_fname .eqs. "nasty2.ok" then ref_skip = 1 $ if ref_fname .eqs. "profile5.awk" then ref_skip = 1 $ if ref_fname .eqs. "profile5.ok" then ref_skip = 1 $ if ref_fname .eqs. "po.m4" then ref_skip = 1 +$ if ref_fname .eqs. "configure." then ref_skip = 1 +$ if ref_fname .eqs. "libtool.m4" then ref_skip = 1 $! $! $ if ref_skip .ne. 0 |