| 752 : |
752 : |
| 753 else |
753 else |
| 754 ERROR=1 |
754 ERROR=1 |
| 755 DEPENDENCIES_FAILED="option 'toolkit' $DEPENDENCIES_FAILED" |
755 DEPENDENCIES_FAILED="option 'toolkit' $DEPENDENCIES_FAILED" |
| 756 fi |
756 fi |
| |
757 else |
| |
758 echo |
| |
759 echo "Invalid option value - usage:" |
| |
760 echo " --toolkit=(gtk3|cli|gtk2|wpf)" |
| |
761 abort_configure |
| 757 fi |
762 fi |
| 758 fi |
763 fi |
| 759 |
764 |
| 760 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then |
765 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then |
| 761 echo "DAV_CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk" |
766 echo "DAV_CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk" |