diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-07 18:11:02 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-07 18:11:02 +0300 |
| commit | 9955d1799245b9364112c5277ad58273a7c915b9 (patch) | |
| tree | 33fb8371e7905edf846a3ff0cbf9fcf23305f7d0 /vms/generate_config_vms_h_gawk.com | |
| parent | a9e991ea8292ab72e452688577e179e62c0e0b1b (diff) | |
| parent | 02e8aa7f237791e13b1431f70df14fa3a3404bc2 (diff) | |
| download | egawk-9955d1799245b9364112c5277ad58273a7c915b9.tar.gz egawk-9955d1799245b9364112c5277ad58273a7c915b9.tar.bz2 egawk-9955d1799245b9364112c5277ad58273a7c915b9.zip | |
Merge branch 'gawk-4.2-stable' into feature/gnulib-regex
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. |