filename parameter to be_main added
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 6 Sep 2006 12:03:54 +0000 (12:03 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 6 Sep 2006 12:03:54 +0000 (12:03 +0000)
ir/be/be.h

index f0895c4..420592d 100644 (file)
@@ -52,7 +52,7 @@ const backend_params *be_init(void);
 /**
  * Main interface to the frontend.
  */
-void be_main(FILE *file_handle);
+void be_main(FILE *file_handle, const char *asm_file_name);
 
 /** The type of the debug info retriever function. */
 typedef const char *(*retrieve_dbg_func)(const dbg_info *dbg, unsigned *line);