comparison: configure
configure
- changeset 647
- e93dc5b1da07
- parent 607
- cfcc3fb12d7d
- child 819
- 5f6ca885d048
equal
deleted
inserted
replaced
| 646:c9538297b89a | 647:e93dc5b1da07 |
|---|---|
| 714 done | 714 done |
| 715 break | 715 break |
| 716 done | 716 done |
| 717 while true | 717 while true |
| 718 do | 718 do |
| 719 while true | |
| 720 do | |
| 721 | |
| 722 cat >> "$TEMP_DIR/make.mk" << __EOF__ | |
| 723 BUILD_BIN_DIR = bin | |
| 724 BUILD_LIB_DIR = lib | |
| 725 __EOF__ | |
| 726 break | |
| 727 done | |
| 728 break | |
| 729 done | |
| 730 while true | |
| 731 do | |
| 719 if notisplatform "bsd"; then | 732 if notisplatform "bsd"; then |
| 720 break | 733 break |
| 721 fi | 734 fi |
| 722 while true | 735 while true |
| 723 do | 736 do |
