- no longer used

Changed files:
    waf-path.patch -> 1.2

diff --git a/waf-path.patch b/waf-path.patch
deleted file mode 100644 (file)
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