f56e54
--- nvptx-tools/nvptx-as.c.jj	2017-01-20 12:40:18.000000000 +0100
f56e54
+++ nvptx-tools/nvptx-as.c	2017-01-20 12:43:53.864271442 +0100
f56e54
@@ -939,7 +939,7 @@ fork_execute (const char *prog, char *co
f56e54
 	  fatal_error ("%s: %m", errmsg);
f56e54
 	}
f56e54
       else
f56e54
-	fatal_error (errmsg);
f56e54
+	fatal_error ("%s", errmsg);
f56e54
     }
f56e54
   do_wait (prog, pex);
f56e54
 }