diff --git a/Tools/world/world b/Tools/world/world index 09a86f33c22..7bff8b19476 100755 --- a/Tools/world/world +++ b/Tools/world/world @@ -1,4 +1,4 @@ -#! /home/bwarsaw/bin/perl +#! /depot/gnu/plat/bin/perl # # Note: you may have to edit the top line in this file. #