diff options
Diffstat (limited to 'src/lib/GenericOS.rs')
| -rw-r--r-- | src/lib/GenericOS.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/lib/GenericOS.rs b/src/lib/GenericOS.rs deleted file mode 100644 index 567843f2..00000000 --- a/src/lib/GenericOS.rs +++ /dev/null @@ -1,9 +0,0 @@ -fn getenv(str n) -> Option.t[str] { - auto s = OS.libc.getenv(Str.buf(n)); - if ((s as int) == 0) { - ret Option.none[str]; - } else { - ret Option.some[str](Str.str_from_cstr(s)); - } -} - |