Searched refs:CONFIG_FLAGS (Results 1 – 1 of 1) sorted by relevance
44 CONFIG_FLAGS=""45 if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi46 if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi47 if [ -n "$PREEMPT_RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT_RT"; fi51 UTS_VERSION="$(echo $UTS_VERSION $CONFIG_FLAGS $TIMESTAMP | cut -b -$UTS_LEN)"56 if [ -n "$CONFIG_FLAGS" ] ; then echo "/* $CONFIG_FLAGS */"; fi