summaryrefslogtreecommitdiff
path: root/emu/Linux
diff options
context:
space:
mode:
authorCharles Forsyth <charles.forsyth@gmail.com>2019-08-21 15:22:16 +0000
committerCharles Forsyth <charles.forsyth@gmail.com>2019-08-21 15:22:16 +0000
commit458b45d0a655643ffed67586b764b30a1fe5c910 (patch)
tree55053d898a55e772932d634d4e761112d7d448e8 /emu/Linux
parent8a003973f13c53f37de48c6c635500b5a0988cfb (diff)
parent5be4ead0a7930b82adb10355cbac13d84869e0cb (diff)
Merged in dboddie/inferno-os/hosted-devds (pull request #26)
Include devds in the hosted build
Diffstat (limited to 'emu/Linux')
-rw-r--r--emu/Linux/emu1
-rw-r--r--emu/Linux/mkfile1
2 files changed, 2 insertions, 0 deletions
diff --git a/emu/Linux/emu b/emu/Linux/emu
index 29267dfd..0af201a2 100644
--- a/emu/Linux/emu
+++ b/emu/Linux/emu
@@ -13,6 +13,7 @@ dev
fs
cmd cmd
indir
+ ds
draw win-x11a
pointer
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