diff --git a/textarchive/vlib001.pl b/textarchive/vlib001.pl index 9b60ad0a2484c0a840f338b2448103428e7371a8..cc6cba92afd298fe8d143a4137a21d98f61414f1 100755 --- a/textarchive/vlib001.pl +++ b/textarchive/vlib001.pl @@ -165,6 +165,9 @@ $DEBUG= 1; print "path=[$path]\n"; my $res= chdir ($path) or event_die ("can not change to $path");; print "res=[$res]\n"; + + # verify if the chdir really lead to the expected place + # TODO: there might be symlinked paths or something like that, so this should pssibly not always fail my $pwd= `pwd`; chop($pwd); print "pwd=[$pwd]\n"; event_die ("chdir failed strangely path=[$path] pwd=[$pwd]") unless ($pwd eq $path);