ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
193e14a489
genode/tool/depot
History
Christian Helmuth a7dadd9dae depot: ignore some files on pkg generation 
Now, the typical gitignore patterns

  *~ *.rej *.orig *.swp

are not added to the pkg.
2018-05-31 17:07:21 +02:00
..
mk depot: ignore some files on pkg generation 2018-05-31 17:07:21 +02:00
build depot: add REBUILD argument to create, build tools 2017-12-21 15:01:50 +01:00
create depot: add REBUILD argument to create, build tools 2017-12-21 15:01:50 +01:00
dependencies depot: improved args check in dependencies tool 2017-12-21 15:01:45 +01:00
download tool/depot: download archives from web server 2017-05-31 13:16:24 +02:00
extract depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
publish tool/publish: fix help for PUBLIC_DIR 2018-02-28 11:05:03 +01:00
publish_current depot: tool for publishing current versions 2018-05-03 16:11:53 +02:00