Compare commits

..

No commits in common. "47ecf87e167d8d99de4c95e5dcd74f307a25a0d9" and "21ee79a929881ee016ef423dd44474984e856053" have entirely different histories.

View File

@ -17,7 +17,6 @@
*/
#include <signal.h> /* sigaction(2), signal(2), struct sigaction, SIGINT */
#include <stdbool.h> /* bool */
#include <stdio.h> /* fprintf(3), fgetc(3), perror(3), fputc(3), stderr, stdin,
* stdout, EOF, NULL */
#include <stdlib.h> /* exit(3), EXIT_FAILURE */
@ -71,7 +70,7 @@ int main(int argc, char *argv[]){
#endif
if (argc > 0) { /* option parsing */
bool allow_nonterminals;
char allow_nonterminals;
int c;
program_name = argv[0];
@ -89,8 +88,7 @@ int main(int argc, char *argv[]){
if (!allow_nonterminals && isatty(STDIN_FILENO) != 1) {
(void)fprintf(
stderr,
"%s: Must be run in a terminal (specify -i to skip this"
" check)\n",
"%s: Must be run in a terminal (option -i skips this check)\n",
argv[0]
);
return EX_USAGE;