diff options
Diffstat (limited to 'ghc/includes/platform.h.in')
| -rw-r--r-- | ghc/includes/platform.h.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ghc/includes/platform.h.in b/ghc/includes/platform.h.in index 87cf5eaa33..469bb6a142 100644 --- a/ghc/includes/platform.h.in +++ b/ghc/includes/platform.h.in @@ -3,6 +3,7 @@ #define alpha_dec_osf1 10 #define alpha_unknown_linux 11 +#define alpha_dec_osf3 12 #define hppa1_1_hp_hpux 20 #define i386_next_nextstep3 30 #define i386_unknown_bsdi 31 |