diff options
Diffstat (limited to 'emu/Linux')
| -rw-r--r-- | emu/Linux/emu | 3 | ||||
| -rw-r--r-- | emu/Linux/emu-g | 6 | ||||
| -rw-r--r-- | emu/Linux/emu-wrt | 4 |
3 files changed, 7 insertions, 6 deletions
diff --git a/emu/Linux/emu b/emu/Linux/emu index 0e7c17f9..b35aad47 100644 --- a/emu/Linux/emu +++ b/emu/Linux/emu @@ -56,6 +56,8 @@ port cache chan dev + devtab + dial dis discall @@ -85,6 +87,7 @@ root /dev / /fd / /prog / + /prof / /net / /net.alt / /chan / diff --git a/emu/Linux/emu-g b/emu/Linux/emu-g index 3884cb1d..2cffb16e 100644 --- a/emu/Linux/emu-g +++ b/emu/Linux/emu-g @@ -1,6 +1,3 @@ -env - X11LIBS= - dev root cons @@ -45,6 +42,8 @@ port cache chan dev + devtab + dial dis discall @@ -76,6 +75,7 @@ root /dev / /fd / /prog / + /prof / /net / /net.alt / /chan / diff --git a/emu/Linux/emu-wrt b/emu/Linux/emu-wrt index be6c23d2..b53714bb 100644 --- a/emu/Linux/emu-wrt +++ b/emu/Linux/emu-wrt @@ -1,6 +1,3 @@ -env - X11LIBS= - dev root cons @@ -90,6 +87,7 @@ root /dev / /fd / /prog / + /prof / /net / /net.alt / /chan / |