diff options
Diffstat (limited to 'fips/mkfipsscr.pl')
-rw-r--r-- | fips/mkfipsscr.pl | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/fips/mkfipsscr.pl b/fips/mkfipsscr.pl index 3c30130022..29a26c116f 100644 --- 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 |