From 5d84f1659fbd48253d25785814e5c457575ea2da Mon Sep 17 00:00:00 2001
From: Jim Huang <jserv@0xlab.org>
Date: Tue, 31 Jan 2012 11:11:29 +0800
Subject: [PATCH] TARGET_linux-arm.mk: use single slash version of
 -print-whatever

The double slash variants are not documented in GCC manual.  Therefore,
it is better to use the single slash variants as usual.
---
 core/combo/TARGET_linux-arm.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/combo/TARGET_linux-arm.mk b/core/combo/TARGET_linux-arm.mk
index 8c8914329a..c3ea816b91 100644
--- a/core/combo/TARGET_linux-arm.mk
+++ b/core/combo/TARGET_linux-arm.mk
@@ -177,7 +177,7 @@ TARGET_FDO_CFLAGS:=
 TARGET_FDO_LIB:=
 
 target_libgcov := $(shell $(TARGET_CC) $(TARGET_GLOBAL_CFLAGS) \
-        --print-file-name=libgcov.a)
+        -print-file-name=libgcov.a)
 ifneq ($(strip $(BUILD_FDO_INSTRUMENT)),)
   # Set BUILD_FDO_INSTRUMENT=true to turn on FDO instrumentation.
   # The profile will be generated on /data/local/tmp/profile on the device.