diff options
Diffstat (limited to 'scripts/create-menu')
| -rwxr-xr-x | scripts/create-menu | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/create-menu b/scripts/create-menu index b6dba30cb..13fbe4f87 100755 --- a/scripts/create-menu +++ b/scripts/create-menu @@ -14,10 +14,10 @@ printf "source target/config/Config.in.system.choice\n" >> target/config/Config. # update tasks if [ -d "$topdir/tasks" ];then printf "# autogenerated via scripts/create-menu\n" > $topdir/target/config/Config.in.tasks - printf "choice\n" >> $topdir/target/config/Config.in.tasks - printf "prompt \"Task\" if !ADK_TARGET_CHOOSE_ARCH\n\n" >> $topdir/target/config/Config.in.tasks + printf "menu \"Tasks\"\n" >> $topdir/target/config/Config.in.tasks + printf "\tvisible if ADK_TARGET_OS_LINUX && !ADK_TARGET_CHOOSE_ARCH\n\n" >> $topdir/target/config/Config.in.tasks cat $topdir/tasks/* >> $topdir/target/config/Config.in.tasks 2>/dev/null - printf "\nendchoice\n\n" >> $topdir/target/config/Config.in.tasks + printf "\nendmenu\n\n" >> $topdir/target/config/Config.in.tasks fi # create system default |