void pre_exec (void) { use_dash (FALSE); edition_pre_exec (); }
/* Set up the terminal before executing a program */ static void pre_exec (void) { use_dash (0); edition_pre_exec (); }