diff options
-rw-r--r-- | postprocess/checkdeliver/checkdeliver.pl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/postprocess/checkdeliver/checkdeliver.pl b/postprocess/checkdeliver/checkdeliver.pl index 90a01be3a0a0..afd52ae0fec5 100644 --- a/postprocess/checkdeliver/checkdeliver.pl +++ b/postprocess/checkdeliver/checkdeliver.pl @@ -93,9 +93,6 @@ sub get_globals if ( ! ( $platform && $srcrootdir && $solverdir ) ) { die "Error: please set environment\n"; } - if ( ! -d $srcrootdir ) { - die "Error: cannot find source directory '$srcrootdir'\n"; - } if ( ! -d $solverdir ) { die "Error: cannot find solver directory '$solverdir'\n"; } |