File fix_bad_errorcheck.patch of Package rnxcmp
diff -ur RNXCMP_4.1.0_src/source/crx2rnx.c RNXCMP_4.1.0_src_fix/source/crx2rnx.c
--- RNXCMP_4.1.0_src/source/crx2rnx.c 2022-01-06 02:34:13.000000000 +0100
+++ RNXCMP_4.1.0_src_fix/source/crx2rnx.c 2022-02-24 09:21:38.481045527 +0100
@@ -255,6 +255,7 @@
}
}
no_error_exit();
+ return 0;
}
/*---------------------------------------------------------------------*/
void fileopen(int argc, char *argv[]){