diff options
Diffstat (limited to 'Makefile.pl')
| -rwxr-xr-x | Makefile.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.pl b/Makefile.pl index a1db96d..af418d8 100755 --- a/Makefile.pl +++ b/Makefile.pl @@ -173,9 +173,11 @@ sub scenario() print "-- Removing $EXE_PATH/$TOOL_SNAME\n"; unlink($EXE_PATH."/".$TOOL_SNAME); - # remove modules - print "-- Removing $MODULES_PATH\n"; - rmtree($MODULES_PATH); + if(-d $MODULES_PATH) + { # remove modules + print "-- Removing $MODULES_PATH\n"; + rmtree($MODULES_PATH); + } } if($Install or $Update) { |