6964       save_LDFLAGS=$LDFLAGS
6985 	LDFLAGS="$save_LDFLAGS"
8268    save_LDFLAGS="$LDFLAGS"
8287    LDFLAGS="$save_LDFLAGS"
9251    save_LDFLAGS="$LDFLAGS"
9270    LDFLAGS="$save_LDFLAGS"
9319   save_LDFLAGS="$LDFLAGS"
9332            LDFLAGS="$save_LDFLAGS"
10329     save_LDFLAGS=$LDFLAGS
10351     LDFLAGS=$save_LDFLAGS
10986     save_LDFLAGS="$LDFLAGS"
11204     LDFLAGS="$save_LDFLAGS"

Indexes created Tue Jul 24 14:28:13 CEST 2018