diff options
Diffstat (limited to 'djgpp/config_h.sed')
| -rw-r--r-- | djgpp/config_h.sed | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/djgpp/config_h.sed b/djgpp/config_h.sed new file mode 100644 index 00000000..89184925 --- /dev/null +++ b/djgpp/config_h.sed @@ -0,0 +1,15 @@ +# sed script for DJGPP specific editing of config.hin + +$ a\ +\ +\ +/* DJGPP specific defines. */\ +\ +#include <unistd.h>\ +#define TAB_EXT ((pathconf(NULL, _PC_NAME_MAX) > 12) ? ".tab" : "_tab")\ +#define OUTPUT_EXT ((pathconf(NULL, _PC_NAME_MAX) > 12) ? ".output" : ".out")\ +\ +#define DEFAULT_TMPDIR "/dev/env/DJDIR/tmp" + + + |