diff --git a/config/tools/installEpics.pl b/config/tools/installEpics.pl index f4f84aa94..3e4c84054 100755 --- a/config/tools/installEpics.pl +++ b/config/tools/installEpics.pl @@ -37,7 +37,7 @@ $install_dir =~ s[/$][]; # remove trailing '/' $install_dir =~ s[//][/]g; # replace '//' by '/' # Do we have to create the directory? -unless (-d $install_dir) +unless ( (-d $install_dir) || (-l $install_dir) ) { # Create dir only if -d option given Usage ("$install_dir does not exist") unless ($opt_d);