diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-08 20:42:58 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-08 20:42:58 +0300 |
| commit | 72c03bce22eae7a1e6e298a0c21dced8ef779f26 (patch) | |
| tree | 317e0405b4e8b5cb5819baf890da882a3ed39908 /vms/generate_config_vms_h_gawk.com | |
| parent | 5d9a38ba513b6b8216e373f7297eab69eebcfebb (diff) | |
| parent | 6103384d051118cdd6a6f43b44e5456ff7a272eb (diff) | |
| download | egawk-72c03bce22eae7a1e6e298a0c21dced8ef779f26.tar.gz egawk-72c03bce22eae7a1e6e298a0c21dced8ef779f26.tar.bz2 egawk-72c03bce22eae7a1e6e298a0c21dced8ef779f26.zip | |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'vms/generate_config_vms_h_gawk.com')
| -rw-r--r-- | vms/generate_config_vms_h_gawk.com | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/vms/generate_config_vms_h_gawk.com b/vms/generate_config_vms_h_gawk.com index a6a37434..8edf55d7 100644 --- a/vms/generate_config_vms_h_gawk.com +++ b/vms/generate_config_vms_h_gawk.com @@ -61,6 +61,16 @@ $ if (arch_name .eqs. "") then arch_name = "UNK" $ endif $! $! +$ pipe lib/list sys$library:decc$rtldef.tlb | search sys$input: stdint +$ if '$SEVERITY' .ne. 1 +$ then +$ create sys$disk:[]stdint.h +$ open/append stdint_h sys$disk:[]stdint.h +$ write stdint_h "/* Fake stdint.h for gnulib */" +$ close stdint_h +$ endif +$! +$! $! Start the configuration file. $! Need to do a create and then an append to make the file have the $! typical file attributes of a VMS text file. |