test/configure

changeset 122
5706694c17c4
parent 116
41981a23aff8
child 123
d89b75fdf0aa
equal deleted inserted replaced
121:155cd224b51d 122:5706694c17c4
580 fi 580 fi
581 if [ -n "$DISABLE_FEATURE_PG" ]; then 581 if [ -n "$DISABLE_FEATURE_PG" ]; then
582 unset FEATURE_PG 582 unset FEATURE_PG
583 fi 583 fi
584 fi 584 fi
585 if [ -n "$FEATURE_PG" ]; then
586 :
587 fi
585 588
586 589
587 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then 590 if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then
588 echo "CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk" 591 echo "CFLAGS += $TEMP_CFLAGS" >> "$TEMP_DIR/flags.mk"
589 fi 592 fi

mercurial