This website requires JavaScript.
Explore
Help
Register
Sign In
JDM170
/
build
Watch
1
Star
0
Fork
0
You've already forked build
mirror of
https://github.com/armbian/build
synced
2025-09-24 19:47:06 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9324d1ec8249ab06208f29aea6438acbfccdd188
build
/
lib
/
tools
/
common
History
Ricardo Pardini
800d92045d
tools: patching: don't rewrite auto-generated patches (eg, drivers)
2023-09-29 08:48:01 +02:00
..
aggregation_utils.py
Revert "
armbian-desktop
/
aggregation
: introduce
DESKTOP_COMMON
aggregation variant, where arch/config/appgroups are ignored; see
#5439
"
2023-07-19 01:02:23 +02:00
armbian_utils.py
pipeline: use ncores * 4 for info gathering
2023-08-23 21:35:02 +02:00
bash_declare_parser.py
bash_declare_parser: parse space-separated single-quoted array values correctly ('THIS=has space' is a single token, not two)
2023-05-04 16:08:11 +02:00
dt_makefile_patcher.py
patching: auto patchers: bare dts, bare overlays, DT Makefile
2023-06-13 12:29:52 +02:00
gha.py
pipeline: gha: fix
IMAGES_ONLY_OUTDATED_ARTIFACTS
and
SKIP_IMAGES
by exporting them so Python can see; tune logging
2023-05-09 10:04:57 +02:00
md_asset_log.py
patching: Patching Summary and Patching Failures tables using Python's Rich
2023-06-13 12:29:52 +02:00
patching_config.py
patching: auto patchers: bare dts, bare overlays, DT Makefile
2023-06-13 12:29:52 +02:00
patching_utils.py
tools: patching: don't rewrite auto-generated patches (eg, drivers)
2023-09-29 08:48:01 +02:00