From 3926bbcf6d29c2e0d0c258641d1d00d3a96c5288 Mon Sep 17 00:00:00 2001 From: "Dr. Stephen Henson" Date: Sun, 19 Sep 2010 15:34:23 +0000 Subject: support customisable rm and mkdir commands --- fips/mkfipsscr.pl | 14 ++++++++++++-- 1 file 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 -- cgit v1.2.3