Use $0 instead of $BASH_SOURCE[0]
commitad1890f7772152b357303ce2c50a295b69035f01
authorSara Golemon <sgolemon@fb.com>
Wed, 16 Apr 2014 21:33:10 +0000 (16 14:33 -0700)
committerSara Golemon <sgolemon@fb.com>
Wed, 16 Apr 2014 21:42:12 +0000 (16 14:42 -0700)
tree26b827c540a2d9e3035ae2a043b76029dae49fa2
parentb5323487a34b9b0960783557572f8a69707ef766
Use $0 instead of $BASH_SOURCE[0]

Better compatibility with other bash implementations

Reviewed By: @ptarjan

Differential Revision: D1280530
configure_generic.sh
hphp/parser/make-parser.sh
hphp/runtime/base/ini-parser/make-zend-ini-parser.sh
hphp/tools/bootstrap/gen-ext-hhvm.sh
hphp/tools/bootstrap/skeleton.sh
hphp/tools/run_test_binary.sh
hphp/util/generate-buildinfo.sh