PRETRANS
<lua>
path = "/usr/include/eigen3/Eigen"
st = posix.stat(path)
if st and st.type == "directory" then
os.execute("rm -rf " .. path)
end
<lua>
path = "/usr/include/eigen3/Eigen"
st = posix.stat(path)
if st and st.type == "directory" then
os.execute("rm -rf " .. path)
end
::
::
::
