Merge branch 'devel' of github.com:nim-lang/Nim into devel

This commit is contained in:
Andreas Rumpf 2017-09-16 10:11:42 +02:00
commit 28bdf0ac80
5 changed files with 20 additions and 12 deletions

View file

@ -1435,7 +1435,8 @@ when defined(nimdoc):
elif defined(genode):
proc quit*(errorcode: int = QuitSuccess) {.magic: "Exit", noreturn,
importcpp: "genodeEnv->parent().exit(@)", header: "<base/env.h>".}
importcpp: "genodeEnv->parent().exit(@); Genode::sleep_forever()",
header: "<base/sleep.h>".}
else:
proc quit*(errorcode: int = QuitSuccess) {.