From 3c7d7e461498dea4895dc3b550f2b495b4db667b Mon Sep 17 00:00:00 2001 From: Patryk Zawadzki Date: Tue, 11 Mar 2008 22:20:45 +0000 Subject: [PATCH] - no longer used Changed files: waf-path.patch -> 1.2 --- waf-path.patch | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 waf-path.patch diff --git a/waf-path.patch b/waf-path.patch deleted file mode 100644 index 5dfb6fb..0000000 --- a/waf-path.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- waf-1.0.1/waf-light 2006-12-05 19:15:42.786716454 +0200 -+++ waf-1.0.1/waf-light 2006-12-05 19:17:25.628996666 +0200 -@@ -1,4 +1,4 @@ --#! /usr/bin/env python -+#! /usr/bin/python - # encoding: utf-8 - # Thomas Nagy, 2005 (ita) - -@@ -112,8 +112,8 @@ - def find_wafadmin(): - global wafdir - -- # if wafadmin is in /usr/local/waf-x.x.x/ then use it directly -- try_wafdir('/usr/local/lib/waf-%s/' % VERSION) -+ # if wafadmin is in /usr/lib/waf-x.x.x/ then use it directly -+ try_wafdir('/usr/lib/waf-%s/' % VERSION) - if wafdir: return - - # wafadmin may be in $WAFDIR, have a look -- 2.44.0