summaryrefslogtreecommitdiff
path: root/libstd
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-03-03 13:23:33 -0800
committerOri Bernstein <ori@eigenstate.org>2015-03-03 13:23:33 -0800
commitce5ecc308dbdd204fc3f5c3e6f6cf085a2c5d846 (patch)
tree8218992d8823beac27ab52a49569ce70834bcd24 /libstd
parent773fe672bb1910db23857626dfde78340e682098 (diff)
downloadmc-ce5ecc308dbdd204fc3f5c3e6f6cf085a2c5d846.tar.gz
Add missing file.
Diffstat (limited to 'libstd')
-rw-r--r--libstd/syswrap-ss+posixy-linux.myr7
1 files changed, 7 insertions, 0 deletions
diff --git a/libstd/syswrap-ss+posixy-linux.myr b/libstd/syswrap-ss+posixy-linux.myr
new file mode 100644
index 0000000..4cd112c
--- /dev/null
+++ b/libstd/syswrap-ss+posixy-linux.myr
@@ -0,0 +1,7 @@
+use sys
+
+pkg std =
+ const exit : (status:int -> void)
+;;
+
+const exit = {status; sys.exit_group(status)}