diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-08 20:44:04 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-08 20:44:04 +0300 |
| commit | 746d2b79d760e9e59bc2c1f3ca06cadae4fb1554 (patch) | |
| tree | f405d692efb7076bc9e318c2ad38d3f30e2af962 /vms/generate_config_vms_h_gawk.com | |
| parent | 882905db28d022514cdffe47ba8153fffb05e9d5 (diff) | |
| parent | 72c03bce22eae7a1e6e298a0c21dced8ef779f26 (diff) | |
| download | egawk-746d2b79d760e9e59bc2c1f3ca06cadae4fb1554.tar.gz egawk-746d2b79d760e9e59bc2c1f3ca06cadae4fb1554.tar.bz2 egawk-746d2b79d760e9e59bc2c1f3ca06cadae4fb1554.zip | |
Merge branch 'master' into feature/fix-comments
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. |