diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-09 21:47:10 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-09 21:47:10 +0100 |
| commit | 19283fdffa782b2e485ef39e0de1574006ec4a1a (patch) | |
| tree | 08b97c1f929cc7bdc34aaa53b41ecd4cf784016c | |
| parent | 987a93875577af05b2c8c6f16a1f479ba193d0d9 (diff) | |
| parent | 640b447be65d4cbdafa3b7f9c4317fd8d9a6ae33 (diff) | |
Merge branch 'master-user_level_drivers' into master-user_level_drivers-debian
| -rw-r--r-- | Makefrag.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefrag.am b/Makefrag.am index 6aacbf8d..9f303525 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -312,10 +312,10 @@ libkernel_a_SOURCES += \ device/device_types_kernel.h \ device/ds_routines.c \ device/ds_routines.h \ - device/intr.c \ - device/intr.h \ device/if_ether.h \ device/if_hdr.h \ + device/intr.c \ + device/intr.h \ device/io_req.h \ device/net_io.c \ device/net_io.h \ @@ -360,11 +360,11 @@ include_device_HEADERS = \ include/device/device_reply.defs \ include/device/device_request.defs \ include/device/device_types.defs \ - include/device/notify.defs \ - include/device/notify.h \ include/device/device_types.h \ include/device/disk_status.h \ include/device/net_status.h \ + include/device/notify.defs \ + include/device/notify.h \ include/device/tape_status.h \ include/device/tty_status.h |