support customisable rm and mkdir commands

diff --git a/fips/mkfipsscr.pl b/fips/mkfipsscr.pl
index 3c301300227c648a3e9d550df062c18a1072469d..29a26c116fbfd0373471430c2f16a854f4f81b07 100644 (file)
--- a/fips/mkfipsscr.pl
+++ b/fips/mkfipsscr.pl
@@ -298,6 +298,8 @@ my $tvdir;
 my $tprefix;
 my $shwrap_prefix;
 my $shwrap;
+my $rmcmd = "rm -rf";
+my $mkcmd = "mkdir";
 my $debug = 0;
 my $quiet = 0;
 my $rspdir = "rsp";
@@ -352,6 +354,14 @@ foreach (@ARGV)
                {
                $filter = $1;
                }
+       elsif (/--mkdir=(.*)$/)
+               {
+               $mkcmd = $1;
+               }
+       elsif (/--rm=(.*)$/)
+               {
+               $rmcmd = $1;
+               }
        elsif (/--outfile=(.*)$/)
                {
                $outfile = $1;
@@ -410,8 +420,8 @@ else
 # Auto generated by mkfipsscr.pl script
 # Do not edit
 
-RM=rm -rf
-MKDIR=mkdir
+RM="$rmcmd"
+MKDIR="$mkcmd"
 TPREFIX=$tprefix
 
 END