inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 10 insertions, 0 deletions

diff --git a/module/filepat.m b/module/filepat.m
new file mode 100644
index 0000000..9d7dcd5
--- /dev/null
+++ b/module/filepat.m
@@ -0,0 +1,10 @@
+Filepat: module
+{
+	PATH:	con "/dis/lib/filepat.dis";
+	
+	# Turn file name with * ? [] into list of files.  Slashes are significant.
+	expand:	fn(pat: string): list of string;
+
+	# See if file name matches pattern; slashes not treated specially.
+	match:	fn(pat, name: string): int;
+};