| OLD | NEW |
| 1 /////////////////////////////////////////////////////////////////////////////// | 1 /////////////////////////////////////////////////////////////////////////////// |
| 2 // | 2 // |
| 3 /// \file args.h | 3 /// \file args.h |
| 4 /// \brief Argument parsing | 4 /// \brief Argument parsing |
| 5 // | 5 // |
| 6 // Author: Lasse Collin | 6 // Author: Lasse Collin |
| 7 // | 7 // |
| 8 // This file has been put into the public domain. | 8 // This file has been put into the public domain. |
| 9 // You can do whatever you want with this file. | 9 // You can do whatever you want with this file. |
| 10 // | 10 // |
| (...skipping 19 matching lines...) Expand all Loading... |
| 30 | 30 |
| 31 } args_info; | 31 } args_info; |
| 32 | 32 |
| 33 | 33 |
| 34 extern bool opt_stdout; | 34 extern bool opt_stdout; |
| 35 extern bool opt_force; | 35 extern bool opt_force; |
| 36 extern bool opt_keep_original; | 36 extern bool opt_keep_original; |
| 37 // extern bool opt_recursive; | 37 // extern bool opt_recursive; |
| 38 extern bool opt_robot; | 38 extern bool opt_robot; |
| 39 | 39 |
| 40 extern const char *stdin_filename; | 40 extern const char stdin_filename[]; |
| 41 | 41 |
| 42 extern void args_parse(args_info *args, int argc, char **argv); | 42 extern void args_parse(args_info *args, int argc, char **argv); |
| OLD | NEW |