diff options
Diffstat (limited to 'xen/Makefile')
| -rw-r--r-- | xen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/Makefile b/xen/Makefile index b97a26df21..f6cbb9a583 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -103,7 +103,7 @@ include/xen/compile.h: include/xen/compile.h.in .banner -e 's/@@whoami@@/$(XEN_WHOAMI)/g' \ -e 's/@@domain@@/$(XEN_DOMAIN)/g' \ -e 's/@@hostname@@/$(shell hostname)/g' \ - -e 's!@@compiler@@!$(shell $(CC) $(CFLAGS) -v 2>&1 | grep version | tail -1)!g' \ + -e 's!@@compiler@@!$(shell $(CC) $(CFLAGS) --version 2>&1 | head -1)!g' \ -e 's/@@version@@/$(XEN_VERSION)/g' \ -e 's/@@subversion@@/$(XEN_SUBVERSION)/g' \ -e 's/@@extraversion@@/$(XEN_EXTRAVERSION)/g' \ |