Remove ppl

[hvlinux.git] / stage1 / packages-update

diff --git a/stage1/packages-update b/stage1/packages-update
index 1bfab48..1fec25d 100755 (executable)
--- a/stage1/packages-update
+++ b/stage1/packages-update
@@ -12,7 +12,6 @@ update_packages_init ${*}
 lpkg 0 ${GMP}
 lpkg 0 ${MPFR}
 lpkg 0 ${MPC}
-lpkg 0 ${PPL}
 lpkg 0 ${CLOOG}
 lpkg 0 ${BINUTILS}
 lpkg 0 ${GCC}