config/companion_libs/gmp.in
author Johannes Stezenbach <js@sig21.net>
Tue Oct 30 00:22:25 2012 +0000 (2012-10-30)
changeset 3097 5c67476c7342
parent 2651 a171c274bc12
child 3142 6569f6a9060c
permissions -rw-r--r--
scripts/functions: fix endless loop in debug-shell with IO redirection

CT_DEBUG_INTERACTIVE is disabled when stdin, stdout or
stderr are redirected, but the check is only done at
the start of the build and doesn't catch when individual
build commands use redirection. When stdin is redirected
it will cause the debug shell to exit immediately, causing
and endless loop. Thus, save the stdin/our/err file handles
and restore them before invoking the debug shell.

Signed-off-by: Johannes Stezenbach <js@sig21.net>
Message-Id: <20121030102225.GA8303@sig21.net>
Patchwork-Id: 195409
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "GMP version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@2651
     9
config GMP_V_5_0_2
yann@2651
    10
    bool
yann@2957
    11
    prompt "5.0.2"
yann@2651
    12
yann@1873
    13
config GMP_V_5_0_1
yann@1873
    14
    bool
yann@2957
    15
    prompt "5.0.1"
yann@1873
    16
yann@1873
    17
config GMP_V_4_3_2
yann@1873
    18
    bool
yann@1873
    19
    prompt "4.3.2"
yann@1873
    20
yann@1534
    21
config GMP_V_4_3_1
yann@466
    22
    bool
yann@1534
    23
    prompt "4.3.1"
yann@1534
    24
yann@1534
    25
config GMP_V_4_3_0
yann@1534
    26
    bool
yann@1534
    27
    prompt "4.3.0"
yann@466
    28
yann@902
    29
config GMP_V_4_2_4
yann@902
    30
    bool
yann@1615
    31
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    32
    depends on OBSOLETE
yann@902
    33
yann@1534
    34
config GMP_V_4_2_2
yann@1440
    35
    bool
yann@1615
    36
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    37
    depends on OBSOLETE
yann@1440
    38
yann@466
    39
endchoice
yann@466
    40
yann@466
    41
config GMP_VERSION
yann@466
    42
    string
yann@1535
    43
# Don't remove next line
yann@1535
    44
# CT_INSERT_VERSION_STRING_BELOW
yann@2651
    45
    default "5.0.2" if GMP_V_5_0_2
yann@1873
    46
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    47
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    48
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    49
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    50
    default "4.2.4" if GMP_V_4_2_4
yann@466
    51
    default "4.2.2" if GMP_V_4_2_2