diff --git a/configure b/configure index a57a143e60c58b546e7436034f500598ab7a0985..1c9344dc5f8b1c6af3185e849bda6349324cb472 100755 --- a/configure +++ b/configure @@ -148,6 +148,7 @@ done fi if [ $enable_all = "yes" ]; then +disable_list="$disable_list|taskstate" target_files=$(grep -nrw "target :=" $(pwd)/source/tools/ | grep -vwE $disable_list | awk -F ":" '{print $1}') fi