From 19bad55be40b48b2a36506e7bce3a1bb3ecec38d Mon Sep 17 00:00:00 2001 From: Timerix22 Date: Sun, 2 Apr 2023 20:59:10 +0600 Subject: [PATCH] fixed rebuild_imgui-node-editor --- .vscode/.gitignore | 3 ++- default.config | 2 +- kerep | 2 +- tasks/clean_additions.sh | 2 +- tasks/rebuild_imgui-node-editor.sh | 3 +++ tasks/rebuild_imgui_node_editor.sh | 3 --- 6 files changed, 8 insertions(+), 7 deletions(-) create mode 100644 tasks/rebuild_imgui-node-editor.sh delete mode 100644 tasks/rebuild_imgui_node_editor.sh diff --git a/.vscode/.gitignore b/.vscode/.gitignore index c3d3a20..adc53b1 100644 --- a/.vscode/.gitignore +++ b/.vscode/.gitignore @@ -1 +1,2 @@ -settings.json \ No newline at end of file +settings.json +c_cpp_properties.json diff --git a/default.config b/default.config index 1f83204..89d7de4 100644 --- a/default.config +++ b/default.config @@ -48,7 +48,7 @@ case "$TASK" in TASK_SCRIPT=tasks/rebuild_imgui.sh ;; rebuild_imgui_node_editor) - TASK_SCRIPT=tasks/rebuild_imgui_node_editor.sh + TASK_SCRIPT=tasks/rebuild_imgui-node-editor.sh ;; # writes ttf fonts fron ./fonts/ to C compressed arrays in C source files diff --git a/kerep b/kerep index 9938893..64634c2 160000 --- a/kerep +++ b/kerep @@ -1 +1 @@ -Subproject commit 9938893ac15165e206b2a3af48701c25d1124765 +Subproject commit 64634c23711c20805da8f6db796bd54ab5b9b630 diff --git a/tasks/clean_additions.sh b/tasks/clean_additions.sh index ed9660a..fb6d9ab 100644 --- a/tasks/clean_additions.sh +++ b/tasks/clean_additions.sh @@ -1,6 +1,6 @@ #!/usr/bin/bash try_delete_dir_or_file .rebuild_kerep.tmp try_delete_dir_or_file .rebuild_imgui.tmp -try_delete_dir_or_file .rebuild_imgui_node_editor.tmp +try_delete_dir_or_file .rebuild_imgui-node-editor.tmp try_delete_dir_or_file fonts/generated try_delete_dir_or_file libs/fonts_embedded.a diff --git a/tasks/rebuild_imgui-node-editor.sh b/tasks/rebuild_imgui-node-editor.sh new file mode 100644 index 0000000..dfd580b --- /dev/null +++ b/tasks/rebuild_imgui-node-editor.sh @@ -0,0 +1,3 @@ +#!/bin/bash +touch .rebuild_imgui-node-editor.tmp +myprint "${YELLOW}imgui-node-editor.a will be rebuilt in the next build task" diff --git a/tasks/rebuild_imgui_node_editor.sh b/tasks/rebuild_imgui_node_editor.sh deleted file mode 100644 index 7d433ca..0000000 --- a/tasks/rebuild_imgui_node_editor.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -touch .rebuild_imgui_node_editor.tmp -myprint "${YELLOW}imgui_node_editor.a will be rebuilt in the next build task"