premake 中的 os.rmdir 不能在普通 lua 中使用

Question

从预制食谱中，我得到以下代码：

solution "MySolution"
  configurations { "Debug", "Release" }

  configuration { "Debug" }
    targetdir "bin/debug"

  configuration { "Release" }
    targetdir "bin/release"

  if _ACTION == "clean" then
    os.rmdir("bin")
  end

我在我的普通 lua 应用程序中尝试了 os.rmdir("bin")，把它放在我的 hello1.lua 中，用这个命令运行它：

lua hello1.lua

但得到错误：

lua: hello1.lua:11: attempt to call field 'rmdir' (a nil value)
stack traceback:
    hello1.lua:11: in main chunk
    [C]: in ?

似乎 os.rmdir 不是标准的 lua 函数，只是来自 premake4，对吗？ 在哪里可以找到 os.rmdir 的文档？

Answer 1

见premake scripting reference。

这是os.rmdir 特定页面。