blob: fc11841a4c92d0816c46e56997463a0cc06251a0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
--- MUTE/configure.orig Mon Apr 5 20:28:43 2004
+++ MUTE/configure Mon Apr 5 20:29:47 2004
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
#
# Modification History
@@ -37,21 +37,10 @@
while [ -z "$userEntry" ]
do
- echo "select platform:"
- echo " 1 -- GNU/Linux X86"
- echo " 2 -- GNU/Linux PPC"
- echo " 3 -- FreeBSD X86"
- echo " 4 -- MacOSX"
- echo " 5 -- Solaris"
- echo " 6 -- Win32 using MinGW"
- echo " q -- quit"
- echo ""
- echo -n "> "
-
- read userEntry
+userEntry=3
if [ "$userEntry" = "q" ]
then
@@ -61,12 +50,12 @@
# use ASCII comparison.
- if [[ "$userEntry" > "6" ]]
+ if [ "$userEntry" -gt "6" ]
then
userEntry=""
fi
- if [[ "$userEntry" < "1" ]]
+ if [ "$userEntry" -lt "1" ]
then
userEntry=""
fi
@@ -330,18 +319,9 @@
esac
-echo ""
-echo ""
-echo "Enter full path to wxWindows wx-config script."
-echo " Example: /usr/bin/wx-config"
-echo "To us the default setting, or if you do not plan to build the"
-echo "wxWindows-based GUI, leave this blank."
-
-echo ""
-echo -n "> "
-read userEntry
+userEntry=%%WX_CONFIG%%
if [ "$userEntry" = "" ]
then
|
