diff options
Diffstat (limited to 'minishell_test/data/default.cfg')
| -rw-r--r-- | minishell_test/data/default.cfg | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/minishell_test/data/default.cfg b/minishell_test/data/default.cfg new file mode 100644 index 0000000..158c7af --- /dev/null +++ b/minishell_test/data/default.cfg @@ -0,0 +1,29 @@ +[minishell_test] +bonus = false +exec_name = minishell +make = true +make_args = MINISHELL_TEST_FLAGS=-DMINISHELL_TEST +pager = false +pager_prog = less +log_path = minishell_test.log +check_error_messages = true + +[shell] +available_commands = + rmdir + env + cat + touch + ls + grep + sh + head +path_variable = {shell_available_commands_dir} + +[shell:reference] +path = /bin/bash +args = + +[timeout] +test = 0.5 +leaks = 10 |
