OpenGrok

8832 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
8966 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
8975 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9107 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
9120 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9252 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
9265 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9397 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
9411 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9543 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
9557 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9644 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
9772 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
9904 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
12451     SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
12563     CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
12750       SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
12836   CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"
13954 SAVED_CONFIGURE_CFLAGS="${CONFIGURE_CFLAGS}"
14146 CONFIGURE_CFLAGS="${SAVED_CONFIGURE_CFLAGS}"

Indexes created Mon Apr 27 00:23:16 UTC 2026