fixed rebuild_imgui-node-editor

This commit is contained in:
2023-04-02 20:59:10 +06:00
parent c85ac6e93e
commit 19bad55be4
6 changed files with 8 additions and 7 deletions

View File

@@ -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

View File

@@ -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"

View File

@@ -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"