ossp-pkg/as/as-gui/devtool.conf 1.14 -> 1.15
--- devtool.conf 2003/03/05 20:24:52 1.14
+++ devtool.conf 2003/03/06 16:25:55 1.15
@@ -42,7 +42,7 @@
echo "+++ configuring"
./devtool configure
echo "+++ building"
- make clean all
+ make clean all -j4
echo "+++ cleaning"
make distclean >/dev/null 2>&1
echo "+++ fixing"
|
|