diff --git a/tools/fimg2png.c b/tools/fimg2png.c index 5003be74..ef08b303 100644 --- a/tools/fimg2png.c +++ b/tools/fimg2png.c @@ -92,6 +92,7 @@ if (2 != argc-optind) { foo = convertir_fimg_en_PNG(argv[optind], argv[optind+1], to_gray); if (foo) { fprintf(stderr, "%s : got a %d from convertor\n", argv[0], foo); + exit(1); } return 0;