From 7e9dda3c5e6fe9f7933ca6a44dea6bd0aa194287 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Thu, 16 Feb 2012 07:17:08 -0500
Subject: [PATCH] Fix false command not found warning in Makefiles.

---
 Changes             | 2 ++
 src/Makefile_obj.in | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Changes b/Changes
index 373fb6b8e..7605b6256 100644
--- a/Changes
+++ b/Changes
@@ -14,6 +14,8 @@ indicates the contributor was also the author of the fix; Thanks!
 
 ****  Fix core dump with over 100 deep UNOPTFLAT, bug432.  [Joe Eiler]
 
+****  Fix false command not found warning in makefiles. [Ruben Diez]
+
 
 * Verilator 3.831 2012/01/20
 
diff --git a/src/Makefile_obj.in b/src/Makefile_obj.in
index 023e2f0ac..f2e032c67 100644
--- a/src/Makefile_obj.in
+++ b/src/Makefile_obj.in
@@ -27,7 +27,7 @@ config_srcdir = @srcdir@
 ifeq ($(config_srcdir),.)
  srcdir = ..
 else  # Run an experiment
- ifeq ($(shell -e $(config_srcdir)/../Makefile_obj.in),)
+ ifeq ($(wildcard $(config_srcdir)/../Makefile_obj.in),)
    srcdir = $(config_srcdir)
  else
    srcdir = $(config_srcdir)/..