Searched refs:CONFIG_FLAGS (Results 1 – 1 of 1) sorted by relevance
54 CONFIG_FLAGS=""55 if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi56 if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi57 if [ -n "$PREEMPT_RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT_RT"; fi58 UTS_VERSION="$UTS_VERSION $CONFIG_FLAGS $TIMESTAMP"68 if [ -n "$CONFIG_FLAGS" ] ; then echo "/* $CONFIG_FLAGS */"; fi