core: Add delete_file.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 11 Nov 2018 10:03:03 +0000 (11:03 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 11 Nov 2018 10:03:03 +0000 (11:03 +0100)
commitaf328a444a14d35a83befc9822ea96c7c41a5d05
tree99ca322f3b32ac4f2de0fa43bc4267dc55f1b9ea
parent35c8408df4bd682591182c34750c96b1319acf1c
core: Add delete_file.

* src/posix.c (delete_file): New function.
src/posix.c