From c3d34897a3aad9fe970fc98e75031e8fb735ee36 Mon Sep 17 00:00:00 2001
From: Josh Yelon <jyelon@gmail.com>
Date: Thu, 12 Jul 2007 04:18:50 +0000
Subject: [PATCH] win-stats is really pstats

---
 doc/makepanda/makepanda.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/makepanda/makepanda.py b/doc/makepanda/makepanda.py
index 61cb0e1179..e9138e9d76 100755
--- a/doc/makepanda/makepanda.py
+++ b/doc/makepanda/makepanda.py
@@ -4322,7 +4322,7 @@ if (OMIT.count("PANDATOOL")==0):
 # DIRECTORY: pandatool/src/win-stats/
 #
 
-if (OMIT.count("PANDATOOL")==0) and (sys.platform == "win32"):
+if (OMIT.count("PANDATOOL")==0):
     IPATH=['pandatool/src/win-stats']
     OPTS=[]
     EnqueueCxx(ipath=IPATH, opts=OPTS, src='winstats_composite1.cxx', obj='pstats_composite1.obj')