Team2890/allwpilib
4
0
Fork 0
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-07-05 03:21:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

HAND FIXES: Fix upstream util scripts

Browse Source
This commit is contained in:
PJ Reiniger
2025-11-07 19:57:55 -05:00
committed by Peter Johnson
parent 1e7604f81c
commit 198771dde4
18 changed files with 69 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
upstream_utils/expected.py
View File

@@ -10,7 +10,9 @@ def copy_upstream_src(wpilib_root: Path):
wpiutil = wpilib_root / "wpiutil"
# Copy expected header into allwpilib
dest_filename = wpiutil / "src/main/native/thirdparty/expected/include/wpi/expected"
dest_filename = (
wpiutil / "src/main/native/thirdparty/expected/include/wpi/util/expected"
)
shutil.copyfile("include/tl/expected.hpp", dest_filename)
# Rename namespace from tl to wpi, and detail to detail_expected