H All, patch_safety_dispatcher.py seems to be hanging on error_exit_success. Below was stopped after about half an hour (the checks before error_exit_success returned immediately).
Any ideas? Jeff jeff...@gauss:~/Gnu-Pdf$ make syntax-check GFDL_version GPL_version Wundef_boolean avoid_if_before_free cast_of_alloca_return_value cast_of_argument_to_free cast_of_x_alloc_return_value changelog const_long_option copyright_check error_exit_success ^Cmake: *** [sc_error_exit_success] Interrupt
