diff --git a/infer/lib/python/inferlib/jwlib.py b/infer/lib/python/inferlib/jwlib.py index 9c22a09a1..5be559670 100644 --- a/infer/lib/python/inferlib/jwlib.py +++ b/infer/lib/python/inferlib/jwlib.py @@ -86,9 +86,17 @@ class CompilerCall: try: subprocess.check_call(javac_cmd, stderr=file_out) except subprocess.CalledProcessError: - error_msg = 'ERROR: Failed to run the following compilation command:\n\n {}\n' - failing_cmd = ' '.join(['"%s"' % arg for arg in javac_cmd - if arg != '-verbose']) + error_msg = 'ERROR: failure during compilation command.' \ + + '\nYou can run the failing compilation ' \ + + 'command again by copy-pasting the\nlines ' \ + + 'below in your terminal:\n\n"""\n' \ + + 'python <