Index: /trunk/psconfig/psbuild
===================================================================
--- /trunk/psconfig/psbuild	(revision 22696)
+++ /trunk/psconfig/psbuild	(revision 22697)
@@ -283,13 +283,17 @@
         if (! -e "Makefile") { &failure($module[$i], "missing makefile: do you need to run the -dev developer build?"); }
 
+        my $makeopts = $ENV{'PSCONFIG_MAKEOPTS'}; # Options for make
+        my $make = "make";      # Command for "make"
+        $make .= " $makeopts" if defined $makeopts;
+
         if ($clean) {
-            vsystem ("make clean");
+            vsystem ("$make clean");
             if ($?) { &failure($module[$i], "failure in make clean"); }
         }
 
-        vsystem ("make");
+        vsystem ("$make");
         if ($?) { &failure($module[$i], "failure in make"); }
 
-        vsystem ("make install");
+        vsystem ("$make install");
         if ($?) { &failure($module[$i], "failure in make install"); }