user/shell/cat: support reading from stdin until eof

1 files changed, 1 insertions, 0 deletions

diff --git a/src/user/lib/stdlib.h b/src/user/lib/stdlib.h
index 22227e3..1982e85 100644
--- a/src/user/lib/stdlib.h
+++ b/src/user/lib/stdlib.h
@@ -17,6 +17,7 @@ typedef struct {
 } libc_file;
 libc_file *file_open(const char *path, int flags);
 libc_file *file_reopen(libc_file*, const char *path, int flags);
+libc_file *file_clone(const libc_file*);
 int file_read(libc_file*, char *buf, size_t len);
 int file_write(libc_file*, const char *buf, size_t len);
 void file_close(libc_file*);