Select Git revision
- Branches 20
- vanillaCI
- ibr/cpu-event-worker-leanstore-integration
- simonci
- revert-dbd4f905
- ibr/cpu-event-worker
- ibr/event-sched
- job-queue
- debug-shed-with-sclicing-and-multiple-cores
- pr/sched-rr
- ibr/sched-rr
- dietrich/rwlock
- dietrich/tcb-shrink
- dietrich/memory-compression
- master default protected
- job-queue-load-balance
- vldb24-vision
- ipv6
- riscv64
- stable/v0.19
- static-elf
- Tags 20
- v0.57.0
- v0.56.0
- v0.55.0
- v0.54.0
- v0.53.0
- v0.52.0
- v0.51.0
- v0.24
- v0.23
- v0.22
- v0.21
- v0.20
- v0.19
- v0.18
- v0.17
- v0.16
- v0.15
- v0.15-rc3
- v0.15-rc1
- v0.14
-
build: improve autodependencis wrt deleted files · da105cbaAvi Kivity authoredthe -MP switch allows make to ignore deleted files.
build: improve autodependencis wrt deleted filesAvi Kivity authoredthe -MP switch allows make to ignore deleted files.