diff options
| author | Charles Forsyth <charles.forsyth@gmail.com> | 2019-08-21 15:22:16 +0000 |
|---|---|---|
| committer | Charles Forsyth <charles.forsyth@gmail.com> | 2019-08-21 15:22:16 +0000 |
| commit | 458b45d0a655643ffed67586b764b30a1fe5c910 (patch) | |
| tree | 55053d898a55e772932d634d4e761112d7d448e8 /emu/Linux/mkfile | |
| parent | 8a003973f13c53f37de48c6c635500b5a0988cfb (diff) | |
| parent | 5be4ead0a7930b82adb10355cbac13d84869e0cb (diff) | |
Merged in dboddie/inferno-os/hosted-devds (pull request #26)
Include devds in the hosted build
Diffstat (limited to 'emu/Linux/mkfile')
| -rw-r--r-- | emu/Linux/mkfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emu/Linux/mkfile b/emu/Linux/mkfile index 3b072d5e..ff586bcc 100644 --- a/emu/Linux/mkfile +++ b/emu/Linux/mkfile @@ -51,3 +51,4 @@ install:V: $O.$CONF <../port/portmkfile devfs.$O: ../port/devfs-posix.c +devds.$O: ../port/devds.c |