bug 434350: filename buffer too small.
[fw/sdcc] / src / SDCCglobl.h
index 0d068c01b5eff59b52f556dc52b2dfeca7936205..e11160b51fd355a1fd86ecf8a9805a0cf47fd5df 100644 (file)
@@ -261,13 +261,6 @@ extern char *libFiles[128];
 extern int nlibFiles;
 extern bool verboseExec ;
 
-/*
-   void buildCmdLine(char *into, char **args, const char **cmds, 
-   const char *p1, const char *p2, 
-   const char *p3, const char **list);
-   int my_system (const char *cmd, char **cmd_argv);
- */
-
 void parseWithComma (char **, char *);
 
 /** Creates a temporary file a'la tmpfile which avoids the bugs
@@ -311,4 +304,9 @@ struct _dumpFiles {
 
 extern struct _dumpFiles dumpFiles[];
 
+/* Buffer which can be used to hold a file name; assume it will
+ * be trashed by any function call within SDCC.
+ */
+extern char scratchFileName[FILENAME_MAX];
+
 #endif