diff options
Diffstat (limited to 'xen/tools/Makefile')
-rw-r--r-- | xen/tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 04d7020cd8..4d353617bd 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -10,4 +10,4 @@ clean: rm -f *.o symbols symbols: symbols.c - $(HOSTCC) -o $@ $< + $(HOSTCC) $(HOSTCFLAGS) -o $@ $< |