bjorn3 181585dc3a Add CI (#3) ...

* Do a partial clone of linux

This saves a lot of disk space. The git dir for the partial clone after
all relevant versions have been checked out is 1.7GB.

* Do a sparse checkout of linux

This saves a lot of disk space. The git dir for the partial clone after all relevant versions have been checked out is <800MB.

* Fix typo

* Fix checkout on CI

* Add CI

* Make generation deterministic

Directory iteration order is non-deterministic. In practice it depends
on the exact order in which dir entries have been created. Sort the
output of fs::read_dir to ensure that generation is deterministic across
systems.

* Check for linux/.git

* Build generator in release mode

* Switch to cargo check

2021-08-22 07:47:08 -07:00

..

errno.h

Initial checkin.

2021-06-12 07:34:49 -07:00

general.h

Add CI (#3)

2021-08-22 07:47:08 -07:00

netlink.h

Initial checkin.

2021-06-12 07:34:49 -07:00