diff options
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 368d5aa93..e272aade2 100644 --- a/default.xml +++ b/default.xml @@ -493,6 +493,7 @@ <project path="toolchain/mpc" name="toolchain/mpc" /> <project path="toolchain/mpfr" name="toolchain/mpfr" /> <project path="toolchain/perl" name="toolchain/perl" /> + <project path="toolchain/ppl" name="toolchain/ppl" /> <project path="toolchain/python" name="toolchain/python" /> <project path="toolchain/yasm" name="toolchain/yasm" /> |