Fix the workaround for #5360
authorIan Lynagh <igloo@earth.li>
Sun, 31 Jul 2011 00:45:57 +0000 (01:45 +0100)
committerIan Lynagh <igloo@earth.li>
Sun, 31 Jul 2011 00:45:57 +0000 (01:45 +0100)
The build still wasn't going through if you had libraries/dph in your tree.

packages

index 84ce2b6..7eae877 100644 (file)
--- a/packages
+++ b/packages
@@ -78,4 +78,5 @@ libraries/stm                   extra       packages/stm.git
 libraries/random                dph         packages/random.git                 git
 libraries/primitive             dph         packages/primitive.git              git
 libraries/vector                dph         packages/vector.git                 git
-libraries/dph                   dph         packages/dph.git                    git
+# Don't build dph for now: it doesn't work (#5360)
+# libraries/dph                   dph         packages/dph.git                    git