Rev 14082 | Rev 16817 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 14082 | Rev 14220 | ||
|---|---|---|---|
| Line 15... | Line 15... | ||
| 15 | cd `dirname $0` |
15 | cd `dirname $0` |
| 16 | 16 | ||
| 17 | echo "Wims must be compiled to make a fully functional distribution." |
17 | echo "Wims must be compiled to make a fully functional distribution." |
| 18 | echo "Do you want to compile now ? (y/n)? [y] " |
18 | echo "Do you want to compile now ? (y/n)? [y] " |
| 19 | read ans |
19 | read ans |
| 20 | if [ "$ans" |
20 | if [ "$ans" = "n" ] || [ "$ans" = "N" ]; then |
| 21 | echo "** Continuing without compilation. Assume you did it already.." |
21 | echo "** Continuing without compilation. Assume you did it already.." |
| 22 | else |
22 | else |
| 23 | ./compile |
23 | ./compile |
| 24 | fi |
24 | fi |
| 25 | 25 | ||