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" |