# HG changeset patch
# User Dion Almaer <dion@mozilla.com>
# Date 1245996149 25200
# Node ID 78da824faeb3d804b54070c776974de39a9c1b38
# Parent  36d57955327eda6cce633fb24f50dfa491cc03f3
use a system environment variable so we can share

diff -r 36d57955327e -r 78da824faeb3 pavement.py
--- a/pavement.py	Thu Jun 25 19:53:45 2009 -0700
+++ b/pavement.py	Thu Jun 25 23:02:29 2009 -0700
@@ -6,7 +6,8 @@
 
 @task
 def auto(options):
-    objdir = os.path.join("..", "mozilla-stuff", "debug-firefox", "dist")
+    #objdir = os.path.join("..", "mozilla-stuff", "debug-firefox", "dist")
+    objdir = os.getenv("MOZILLA_DIST")
     objdir = os.path.abspath(objdir)
     incdir = os.path.join(objdir, "include")
     libdir = os.path.join(objdir, "lib")