Changeset 22697

Timestamp:

Feb 26, 2009, 1:30:11 PM (17 years ago)

Author:

Paul Price

Message:

Add optional arguments to "make".

File:

• trunk/psconfig/psbuild (modified) (1 diff)

trunk/psconfig/psbuild

@@ -283 +283 @@
         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"); }