diff options
| author | 1ridic <[email protected]> | 2023-10-23 14:06:46 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-10-23 14:06:46 +0800 |
| commit | 1d0924c12a0c99f6516da0b31330a55ad77ea08d (patch) | |
| tree | 4b67086f5fc0437cadf6644ae5a64f06e61f9391 | |
| parent | c4d649bdf5ca612d7483c776c12d97f42214f0df (diff) | |
[tools] Enable prebuilding action (#8133)
| -rw-r--r-- | tools/building.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/building.py b/tools/building.py index e9a59a9a4e..c56ac97491 100644 --- a/tools/building.py +++ b/tools/building.py @@ -782,6 +782,7 @@ def DoBuilding(target, objects): return False + PreBuilding() objects = one_list(objects) program = None |