diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/create-menu | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/create-menu b/scripts/create-menu index 3c0d87ca9..f087300b6 100755 --- a/scripts/create-menu +++ b/scripts/create-menu @@ -12,11 +12,18 @@ printf "source target/config/Config.in.system.default\n" >> target/config/Config printf "source target/config/Config.in.system.choice\n" >> target/config/Config.in.system # update tasks -if [ -d "$topdir/tasks" ];then +if [ -d "$topdir/tasks" -o -n "$ADK_CUSTOM_TASKS_DIR" ];then printf "# autogenerated via scripts/create-menu\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 + + if [ -d "$topdir/tasks" ];then + cat $topdir/tasks/* >> $topdir/target/config/Config.in.tasks 2>/dev/null + fi + if [ -n "$ADK_CUSTOM_TASKS_DIR" -a -d "$ADK_CUSTOM_TASKS_DIR" ];then + printf "\n# tasks pulled from ADK_CUSTOM_TASKS_DIR='%s'\n" "$ADK_CUSTOM_TASKS_DIR" >> $topdir/target/config/Config.in.tasks + cat $ADK_CUSTOM_TASKS_DIR/* >> $topdir/target/config/Config.in.tasks 2>/dev/null + fi printf "\nendmenu\n\n" >> $topdir/target/config/Config.in.tasks fi |