blob: 1a3b1934babd6e9e0617692e0676e4623beb6cfa (
plain)
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
67
68
69
70
71
72
|
--- MUTE/configure.orig Mon Dec 15 13:17:49 2003
+++ MUTE/configure Fri Dec 19 23:19:02 2003
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
#
# Modification History
@@ -31,23 +31,9 @@
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" ]
+ if [ "$userEntry" = "q" ]
then
exit
fi
@@ -55,12 +41,12 @@
# use ASCII comparison.
- if [[ "$userEntry" > "6" ]]
+ if [ "$userEntry" -gt "6" ]
then
userEntry=""
fi
- if [[ "$userEntry" < "1" ]]
+ if [ "$userEntry" -lt "1" ]
then
userEntry=""
fi
@@ -316,20 +302,10 @@
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" == "" ]
+if [ "$userEntry" = "" ]
then
userEntry="/usr/bin/wx-config"
fi
|
