Searched refs:CONFIG_FLAGS (Results 1 – 1 of 1) sorted by relevance
57 CONFIG_FLAGS=""58 if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi59 if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi60 UTS_VERSION="$UTS_VERSION $CONFIG_FLAGS $TIMESTAMP"70 if [ -n "$CONFIG_FLAGS" ] ; then echo "/* $CONFIG_FLAGS */"; fi