support customisable rm and mkdir commands

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