| changeset 79994 | 9b532f064649 |
| parent 73671 | 7404f2e1d092 |
| child 79995 | e94a36467f4e |
| 79993:2dcbf5cbc7a1 | 79994:9b532f064649 |
|---|---|
41 ;; |
41 ;; |
42 CYGWIN_NT*) |
42 CYGWIN_NT*) |
43 ISABELLE_PLATFORM_FAMILY="windows" |
43 ISABELLE_PLATFORM_FAMILY="windows" |
44 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
44 ISABELLE_WINDOWS_PLATFORM32="x86-windows" |
45 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
45 ISABELLE_WINDOWS_PLATFORM64="x86_64-windows" |
46 case $(uname -m) in |
46 ISABELLE_PLATFORM64=x86_64-cygwin |
47 x86_64) |
|
48 ISABELLE_PLATFORM64=x86_64-cygwin |
|
49 ;; |
|
50 esac |
|
51 ;; |
47 ;; |
52 esac |
48 esac |