comparison: configure
configure
- changeset 819
- 5f6ca885d048
- parent 647
- e93dc5b1da07
- child 942
- 488178e3e328
equal
deleted
inserted
replaced
| 818:8185cd761897 | 819:5f6ca885d048 |
|---|---|
| 673 done | 673 done |
| 674 break | 674 break |
| 675 done | 675 done |
| 676 while true | 676 while true |
| 677 do | 677 do |
| 678 if notisplatform "unix"; then | |
| 679 break | |
| 680 fi | |
| 681 while true | |
| 682 do | |
| 683 | |
| 684 cat >> "$TEMP_DIR/make.mk" << __EOF__ | |
| 685 SYS_MAKEFILE = Makefile.unix | |
| 686 __EOF__ | |
| 687 break | |
| 688 done | |
| 689 break | |
| 690 done | |
| 691 while true | |
| 692 do | |
| 693 if notisplatform "windows"; then | |
| 694 break | |
| 695 fi | |
| 696 while true | |
| 697 do | |
| 698 | |
| 699 cat >> "$TEMP_DIR/make.mk" << __EOF__ | |
| 700 SYS_MAKEFILE = Makefile.win32 | |
| 701 __EOF__ | |
| 702 break | |
| 703 done | |
| 704 break | |
| 705 done | |
| 706 while true | |
| 707 do | |
| 678 if notisplatform "macos"; then | 708 if notisplatform "macos"; then |
| 679 break | 709 break |
| 680 fi | 710 fi |
| 681 while true | 711 while true |
| 682 do | 712 do |
