comparison: src/main/resources/make/configure.vm
src/main/resources/make/configure.vm
- changeset 129
- b38ea78d842c
- parent 128
- 22f7262475e7
- child 130
- 424a0fb2c64f
equal
deleted
inserted
replaced
| 128:22f7262475e7 | 129:b38ea78d842c |
|---|---|
| 644 else | 644 else |
| 645 ERROR=1 | 645 ERROR=1 |
| 646 DEPENDENCIES_FAILED="option '${opt.argument}' $DEPENDENCIES_FAILED" | 646 DEPENDENCIES_FAILED="option '${opt.argument}' $DEPENDENCIES_FAILED" |
| 647 fi | 647 fi |
| 648 #end | 648 #end |
| 649 else | |
| 650 echo | |
| 651 echo "Invalid option value - usage:" | |
| 652 echo " --${opt.argument}=${opt.valuesString}" | |
| 653 abort_configure | |
| 649 fi | 654 fi |
| 650 fi | 655 fi |
| 651 #end | 656 #end |
| 652 | 657 |
| 653 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then | 658 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then |
