Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / Headers / fileLib.h

diff --git a/src/Headers/fileLib.h b/src/Headers/fileLib.h
index d25aff397ec9ebc706cdf0996d6be3a7e1cdad67..86ac34b9cffac0831c643ee799fc1a8a301ca6f3 100644 (file)
--- a/src/Headers/fileLib.h
+++ b/src/Headers/fileLib.h
@@ -47,4 +47,10 @@ extern /*@observer@*/ cstring
 /*@constant observer cstring PP_EXTENSION;@*/
 # define PP_EXTENSION cstring_makeLiteralTemp (".pp")
 
+/*drl added 6 April 2002 */
+/* compiler produced binary objecct files  */
+/*@constant observer cstring OBJECT_EXTENSION;@*/
+# define OBJECT_EXTENSION cstring_makeLiteralTemp (".o")
+   
+
 # endif