diff --git a/util/mkbuildinf.pl b/util/mkbuildinf.pl
index 799ed3cdcd..0fe8559d66 100755
--- a/util/mkbuildinf.pl
+++ b/util/mkbuildinf.pl
@@ -10,9 +10,11 @@ use strict;
 use warnings;
 
 my $platform = pop @ARGV;
+my $cc = shift @ARGV;
+($cc) = $cc =~ /([^\/]+)$/;
 my $cflags = join(' ', @ARGV);
 $cflags =~ s(\\)(\\\\)g;
-$cflags = "compiler: $cflags";
+$cflags = "compiler: $cc $cflags";
 
 # Use the value of the envvar SOURCE_DATE_EPOCH, even if it's
 # zero or the empty string.