Admin/PLATFORMS
changeset 66732 e566fb4d43d4
parent 66728 ae332cd13955
child 66908 9b074f01a305
     1.1 --- a/Admin/PLATFORMS	Sat Sep 30 19:49:13 2017 +0200
     1.2 +++ b/Admin/PLATFORMS	Sat Sep 30 20:06:26 2017 +0200
     1.3 @@ -70,10 +70,9 @@
     1.4    ISABELLE_PLATFORM32  (potentially empty)
     1.5    ISABELLE_PLATFORM
     1.6  
     1.7 -The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
     1.8 -the platform, even on 64 bit hardware.  Using regular bash notation,
     1.9 -tools may express their preference for 64 bit with a fall-back for 32
    1.10 -bit as follows:
    1.11 +The ISABELLE_PLATFORM setting variable prefers the 32 bit version of the
    1.12 +platform, if possible. Using regular bash notation, tools may express their
    1.13 +preference for 64 bit with a fall-back for 32 bit as follows:
    1.14  
    1.15    "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
    1.16  
    1.17 @@ -81,7 +80,7 @@
    1.18  There is a second set of settings for native Windows (instead of the
    1.19  POSIX emulation of Cygwin used before):
    1.20  
    1.21 -  ISABELLE_WINDOWS_PLATFORM64  (potentially empty)
    1.22 +  ISABELLE_WINDOWS_PLATFORM64
    1.23    ISABELLE_WINDOWS_PLATFORM32
    1.24    ISABELLE_WINDOWS_PLATFORM
    1.25