diff options
-rwxr-xr-x | Configure | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -10145,7 +10145,7 @@ int main() { exit(0); } if (b[0] == 0xCC && b[3] == 0xCC) { - /* VAX format F */ + /* VAX format F, 32-bit PDP-style mixed endian. */ printf("9\n"); exit(0); } @@ -10176,12 +10176,12 @@ int main() { exit(0); } if (b[0] == 0xCC && b[7] == 0xCC) { - /* VAX format D, 64-bit little-endian. */ + /* VAX format D, 64-bit PDP-style mixed endian. */ printf("10\n"); exit(0); } if (b[0] == 0xD9 && b[7] == 0x99) { - /* VAX format G, 64-bit little-endian. */ + /* VAX format G, 64-bit PDP-style mixed endian. */ printf("11\n"); exit(0); } @@ -10219,9 +10219,9 @@ case "$doublekind" in 6) echo "You have IEEE 754 128-bit big endian doubles." >&4 ;; 7) echo "You have IEEE 754 64-bit mixed endian doubles (32-bit LEs in BE)." >&4 ;; 8) echo "You have IEEE 754 64-bit mixed endian doubles (32-bit BEs in LE)." >&4 ;; -9) echo "You have VAX format F 32-bit little-endian doubles." >&4 ;; -10) echo "You have VAX format D 64-bit little-endian doubles." >&4 ;; -11) echo "You have VAX format G 64-bit little-endian doubles." >&4 ;; +9) echo "You have VAX format F 32-bit PDP-style mixed endian doubles." >&4 ;; +10) echo "You have VAX format D 64-bit PDP-style mixed endian doubles." >&4 ;; +11) echo "You have VAX format G 64-bit PDP-style mixed endian doubles." >&4 ;; *) echo "Cannot figure out your double. You CRAY, or something?" >&4 ;; esac $rm_try |