X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fglob.h;h=9e212bf84fb9b536e409dfca3891e6da3267bf9b;hb=4255c7e5a693e09a97dc7a3cca0634bb2adaba2d;hp=254b3cdd7708b14c7ca5db5e2e6883dc91c8d406;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp

diff --git a/src/glob.h b/src/glob.h
index 254b3cdd77..9e212bf84f 100644
--- a/src/glob.h
+++ b/src/glob.h
@@ -21,5 +21,8 @@
 #define INCLUDED_GLOB_H 1
 
 void init_glob (int argc UNUSED, char **argv);
+void done_glob (void);
+
+extern short test_mode;
 
 #endif /* glob.h */