From b4e908d04daf189d94d62c53baa8f9901dbb0782 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 16 Mar 2012 18:06:32 -0400
Subject: [PATCH] Fix warning on gcc 4.6.1

---
 src/V3File.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/V3File.cpp b/src/V3File.cpp
index e9b74525d..8fe5245d1 100644
--- a/src/V3File.cpp
+++ b/src/V3File.cpp
@@ -436,7 +436,7 @@ private:
 	    dup2(fd_stdout[P_WR], 1);
 	    // And stderr comes from parent
 
-	    execl("/bin/sh", "sh", "-c", command.c_str(), NULL);
+	    execl("/bin/sh", "sh", "-c", command.c_str(), (char*)NULL);
 	    // Don't use v3fatal, we don't share the common structures any more
 	    fprintf(stderr,"--pipe-filter: exec failed: %s\n",strerror(errno));
 	    _exit(10);