Searched refs:CONFIG_FLAGS (Results 1 – 1 of 1) sorted by relevance
42 CONFIG_FLAGS=""43 if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi44 if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi45 if [ -n "$PREEMPT_RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT_RT"; fi49 UTS_VERSION="$(echo $UTS_VERSION $CONFIG_FLAGS $TIMESTAMP | cut -b -$UTS_LEN)"54 if [ -n "$CONFIG_FLAGS" ] ; then echo "/* $CONFIG_FLAGS */"; fi