wgnd-watch.pl
changeset 26 a815b43eec44
parent 23 7484e32fdc72
child 27 7debeb182289
--- a/wgnd-watch.pl	Thu May 03 22:41:44 2012 +0200
+++ b/wgnd-watch.pl	Thu Dec 03 10:03:30 2015 +0100
@@ -79,7 +79,7 @@
 ) or pod2usage();
 
 our $source;
-use lib ('.', $ENV{HOME}, '/etc');
+use lib grep { defined } ('.', $ENV{HOME}, '/etc');
 require $opts{map};
 
 $0 = "$ME @ARGV";