test/configure2

changeset 129
b38ea78d842c
parent 128
22f7262475e7
child 130
424a0fb2c64f
equal deleted inserted replaced
128:22f7262475e7 129:b38ea78d842c
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"

mercurial